Autonomy and Verification Network
The Autonomy and Verification Network focusses on autonomous systems and their verification.
Pinned Repositories
compositional-verification-SafeComp2021
Repository for the artefacts used in the implementation of the work submitted to SafeComp2021.
eventb-planner-module-louise
Planner module for use in compositional verification approaches. Louise's version.
Explainability-Requirements-Paper
gwendolen-crcl-kitting
Gwendolen code for a simulation of a kitting problem, using an interface with CRCL.
leader-follower-tool
A tool for verifying leader/follower systems using SMT solvers
reconfigurability
Reconfigurability framework used in the paper "Plan Library Reconfigurability in BDI Agents".
robochart_remoteinspection
A RoboChart Model for the Remote Inspection Use Case
ros-contract-language
A contract language for ROS nodes
templates
Templates for the A&V Lab
varanus
A Runtime Verification toolchain that uses a CSP model as its oracle.
Autonomy and Verification Network's Repositories
autonomy-and-verification/ros-contract-language
A contract language for ROS nodes
autonomy-and-verification/eventb-planner-module-louise
Planner module for use in compositional verification approaches. Louise's version.
autonomy-and-verification/Explainability-Requirements-Paper
autonomy-and-verification/acronyms
Acronyms used within the lab, as CSV and as Latex acronyms.
autonomy-and-verification/autonomy-and-verification.github.io
Website for the Autonomy and Verification Network.
autonomy-and-verification/compositional-verification-SafeComp2021
Repository for the artefacts used in the implementation of the work submitted to SafeComp2021.
autonomy-and-verification/ethicalgov
Representation of an ethical governor system as a multi-agent problem in the Jason agent-oriented programming language.
autonomy-and-verification/gwendolen-crcl-kitting
Gwendolen code for a simulation of a kitting problem, using an interface with CRCL.
autonomy-and-verification/leader-follower-tool
A tool for verifying leader/follower systems using SMT solvers
autonomy-and-verification/reconfigurability
Reconfigurability framework used in the paper "Plan Library Reconfigurability in BDI Agents".
autonomy-and-verification/robochart_remoteinspection
A RoboChart Model for the Remote Inspection Use Case
autonomy-and-verification/security-minded-verification
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/templates
Templates for the A&V Lab
autonomy-and-verification/varanus
A Runtime Verification toolchain that uses a CSP model as its oracle.