Skip to content

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

Change the repository type filter

All

    Repositories list

    13 repositories

    • ROSMonitoring

      Public
      ROSMonitoring: a Runtime Verification Framework for ROS
      rosruntime-verification
      Python
      •
      MIT License
      •4•36•0•0•Updated Jul 26, 2024Jul 26, 2024

    • autonomy-and-verification-uol.github.io

      Public
      Website for the Autonomy and Verification Laboratory in the University of Liverpool.
      SCSS
      •
      The Unlicense
      •39•0•2•1•Updated May 17, 2024May 17, 2024

    • gwendolen-rosbridge

      Public
      Gwendolen environment that allows agents to publish/subscribe to ROS topics using rosbridge.
      Java
      •
      GNU General Public License v3.0
      •0•1•0•0•Updated May 19, 2023May 19, 2023

    • StreamB

      Public
      StreamB: a declarative language for automatically synthesising abstract environments in agent platforms
      Python
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Dec 2, 2022Dec 2, 2022

    • mapc2020-lfc

      Public
      MLFC team code for the 2020 Multi-Agent Programming Contest.
      ASL
      •1•0•15•0•Updated Aug 8, 2021Aug 8, 2021

    • gwendolen-ros-curiosity

      Public
      Examples of a Gwendolen agent autonomously controlling a Mars Curiosity Rover.
      Python
      •
      GNU General Public License v3.0
      •0•3•0•0•Updated Dec 8, 2020Dec 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.
      Java
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Jun 18, 2020Jun 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.
      TeX
      •1•0•0•0•Updated May 20, 2020May 20, 2020

    • curiosity-NFM2020

      Public
      Simulation and verification of the Mars Curiosity Rover as described in the NFM 2020 paper.
      Python
      •
      GNU General Public License v3.0
      •1•2•0•0•Updated Apr 17, 2020Apr 17, 2020

    • gwendolen-ros-turtlebot3

      Public
      Examples of a Gwendolen agent autonomously controlling a turtlebot3.
      Java
      •
      GNU General Public License v3.0
      •0•1•0•0•Updated Feb 26, 2020Feb 26, 2020

    • mapc2019-liv

      Public
      Liverpool team code for the 2019 Multi-Agent Programming Contest.
      Java
      •
      GNU General Public License v3.0
      •1•1•21•0•Updated Oct 31, 2019Oct 31, 2019

    • ROSMonitoringPlugAndPlay

      Public
      Plug and Play version of the standard ROSMonitoring
      Python
      •0•0•0•0•Updated Jul 2, 2019Jul 2, 2019

    • gwendolen-ros-jackal

      Public
      Examples of a Gwendolen agent autonomously controlling a Clearpath Jackal UGV.
      CMake
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Apr 12, 2019Apr 12, 2019