Explore @autonomy-and-verification-uol Open Source projects

Autonomy and Verification Laboratory - UoL (@autonomy-and-verification-uol)

autonomy-and-verification-uol

Stars
41
Global Org. Rank 87,165 (Top 28 %)
Registered over 6 years ago
Most used languages

Python
50.0 %

Java
50.0 %
Location 🇬🇧 United Kingdom
Country Total Rank 16,115
Country Ranking

Python
3,159

Java
4,939

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.

curiosity-NFM2020

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