Popular repositories Loading

1. ROSMonitoring ROSMonitoring Public

   ROSMonitoring: a Runtime Verification Framework for ROS

   Python 43 11

2. gwendolen-ros-curiosity gwendolen-ros-curiosity Public

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

   Python 3

3. curiosity-NFM2020 curiosity-NFM2020 Public

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

   Python 2 1

4. gwendolen-rosbridge gwendolen-rosbridge Public

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

   Java 1

5. gwendolen-ros-turtlebot3 gwendolen-ros-turtlebot3 Public

   Examples of a Gwendolen agent autonomously controlling a turtlebot3.

   Java 1

6. mapc2019-liv mapc2019-liv Public

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

   Java 1 1