Skip to content
@autonomy-and-verification-uol

Autonomy and Verification Laboratory - UoL

The Autonomy and Verification Laboratory focusses on autonomous systems and their verification.

Popular repositories Loading

  1. ROSMonitoring ROSMonitoring Public

    ROSMonitoring: a Runtime Verification Framework for ROS

    Python 37 4

  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

Repositories

Showing 10 of 13 repositories
  • ROSMonitoring Public

    ROSMonitoring: a Runtime Verification Framework for ROS

    autonomy-and-verification-uol/ROSMonitoring’s past year of commit activity
    Python 37 MIT 4 0 0 Updated Jul 26, 2024
  • 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
    SCSS 0 Unlicense 39 2 1 Updated May 17, 2024
  • 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
    Java 1 GPL-3.0 0 0 0 Updated May 19, 2023
  • 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
    Python 0 GPL-3.0 0 0 0 Updated Dec 2, 2022
  • mapc2020-lfc Public

    MLFC team code for the 2020 Multi-Agent Programming Contest.

    autonomy-and-verification-uol/mapc2020-lfc’s past year of commit activity
    ASL 0 1 15 (2 issues need help) 0 Updated Aug 8, 2021
  • 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
    Python 3 GPL-3.0 0 0 0 Updated Dec 8, 2020
  • 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
    Java 0 GPL-3.0 0 0 0 Updated Jun 18, 2020
  • 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
    TeX 0 1 0 0 Updated May 20, 2020
  • 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
    Python 2 GPL-3.0 1 0 0 Updated Apr 17, 2020
  • 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
    Java 1 GPL-3.0 0 0 0 Updated Feb 26, 2020
View all repositories

Top languages

Loading…

Most used topics

Loading…