autonomy-and-verification-uol/curiosity-NFM2020

Stars
1
Language
Python
License
GNU General Publi...
Created almost 5 years ago
Updated over 4 years ago

autonomy-and-verification-uol/curiosity-NFM2020

autonomy-and-verification-uol

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Simulation and verification of the Mars Curiosity Rover as described in the NFM 2020 paper.

ROSMonitoring

ROSMonitoring: a Runtime Verification Framework for ROS

gwendolen-ros-curiosity

Examples of a Gwendolen agent autonomously controlling a Mars Curiosity Rover.

mapc2019-liv

Liverpool team code for the 2019 Multi-Agent Programming Contest.

gwendolen-ros-turtlebot3

Examples of a Gwendolen agent autonomously controlling a turtlebot3.

gwendolen-rosbridge

Gwendolen environment that allows agents to publish/subscribe to ROS topics using rosbridge.