Robotics

SESAME (June 2023 - Jan 2024)
SESAME: Secure and Safe Multi-Robot Systems is a Horizon2020 project. It is a project associated with the Automated Software Engineering (ASE) group.
SESAME (June 2023 - Jan 2024)
ICFEM 2022 paper is available online
You can download the paper “Formally Verified Animation for RoboChart Using Interaction Trees”.
Last updated on Oct 21, 2022
Project
The submission (Formally Verified Animation for RoboChart using Interaction Trees) to ICFEM2022 is accepted
Jun 27, 2022
Call for paper: Special Issue of Software Engineering for Robotics in Robotics and Autonomous Systems Journal, Elsevier
Special Issue: Software Engineering for Robotics # Robotics and Autonomous Systems Journal, Elsevier.
Dec 9, 2021
CyPhyAssure (June 2021 - August 2021)
CyPhyAssure is a EPSRC funded project. It is also a RoboStar project.
CyPhyAssure (June 2021 - August 2021)
RoboTest (April 2021 - Present)
RoboTest is a EPSRC funded project. It is also a RoboStar project.
RoboTest (April 2021 - Present)
RoboSoft
RoboSoft is a two-day event to bring together researchers representing groups working on themes relevant for Software Engineering for Robotics, developers working on the next-generation of robotic systems in various areas of application, and regulation authorities interested in safety of robotic systems.
Nov 12, 2019
RoboCalc (April 2018 - March 2021)
RoboCalc is a EPSRC funded project. It is also a RoboStar project.
RoboCalc (April 2018 - March 2021)