Autonomy and Verification Network
The Autonomy and Verification Network focusses on autonomous systems and their verification.
Popular repositories Loading
-
-
eventb-planner-module-louise
eventb-planner-module-louise PublicPlanner module for use in compositional verification approaches. Louise's version.
-
-
-
Repositories
Showing 10 of 14 repositories
- autonomy-and-verification.github.io Public Forked from autonomy-and-verification-uol/autonomy-and-verification-uol.github.io
Website for the Autonomy and Verification Network.
autonomy-and-verification/autonomy-and-verification.github.io’s past year of commit activity - eventb-planner-module-louise Public
Planner module for use in compositional verification approaches. Louise's version.
autonomy-and-verification/eventb-planner-module-louise’s past year of commit activity - security-minded-verification Public
Source code for the paper "Security-Minded Verification of Cooperative Awareness Messages" currently submitted to IEEE Transactions on Dependable and Secure Computing
autonomy-and-verification/security-minded-verification’s past year of commit activity - reconfigurability Public
Reconfigurability framework used in the paper "Plan Library Reconfigurability in BDI Agents".
autonomy-and-verification/reconfigurability’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…