Modelling

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)
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)
RoboCalc (April 2018 - March 2021)
RoboCalc is a EPSRC funded project. It is also a RoboStar project.
RoboCalc (April 2018 - March 2021)