Autonomy and Verification Laboratory - UoL
- 6 followers
- University of Liverpool
- https://autonomy-and-verification-uol.github.io/
Popular repositories Loading
-
ROSMonitoring
ROSMonitoring PublicROSMonitoring: a Runtime Verification Framework for ROS
-
gwendolen-ros-curiosity
gwendolen-ros-curiosity PublicExamples of a Gwendolen agent autonomously controlling a Mars Curiosity Rover.
Python 3
-
curiosity-NFM2020
curiosity-NFM2020 PublicSimulation and verification of the Mars Curiosity Rover as described in the NFM 2020 paper.
-
gwendolen-rosbridge
gwendolen-rosbridge PublicGwendolen environment that allows agents to publish/subscribe to ROS topics using rosbridge.
Java 1
-
gwendolen-ros-turtlebot3
gwendolen-ros-turtlebot3 PublicExamples of a Gwendolen agent autonomously controlling a turtlebot3.
Java 1
-
mapc2019-liv
mapc2019-liv PublicLiverpool team code for the 2019 Multi-Agent Programming Contest.
Repositories
- autonomy-and-verification-uol.github.io Public Forked from chrisanthropic/slim-pickins-jekyll-theme
Website for the Autonomy and Verification Laboratory in the University of Liverpool.
autonomy-and-verification-uol/autonomy-and-verification-uol.github.io’s past year of commit activity - gwendolen-rosbridge Public
Gwendolen environment that allows agents to publish/subscribe to ROS topics using rosbridge.
autonomy-and-verification-uol/gwendolen-rosbridge’s past year of commit activity - StreamB Public
StreamB: a declarative language for automatically synthesising abstract environments in agent platforms
autonomy-and-verification-uol/StreamB’s past year of commit activity - gwendolen-ros-curiosity Public
Examples of a Gwendolen agent autonomously controlling a Mars Curiosity Rover.
autonomy-and-verification-uol/gwendolen-ros-curiosity’s past year of commit activity - ethicalgov-IME2020 Public
Representation of an ethical governor system as a multi-agent problem in the Jason agent-oriented programming language. Presented at the The Second Workshop on Implementing Machine Ethics.
autonomy-and-verification-uol/ethicalgov-IME2020’s past year of commit activity - compositional-verification-S-R Public
Artefacts produced during the compositional verification of a search and rescue case study. Paper submitted to SEFM 2020.
autonomy-and-verification-uol/compositional-verification-S-R’s past year of commit activity - curiosity-NFM2020 Public
Simulation and verification of the Mars Curiosity Rover as described in the NFM 2020 paper.
autonomy-and-verification-uol/curiosity-NFM2020’s past year of commit activity - gwendolen-ros-turtlebot3 Public
Examples of a Gwendolen agent autonomously controlling a turtlebot3.
autonomy-and-verification-uol/gwendolen-ros-turtlebot3’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…