Probability

Probabilistic modelling and verification using RoboChart and PRISM @ MODELS2022
A presentation given at MODELS2022 (ACM / IEEE 25th International Conference on Model Driven Engineering Languages and Systems).
Oct 27, 2022
PDF Project Project
RoboTest (April 2021 - Present)
RoboTest is a EPSRC funded project. It is also a RoboStar project.
RoboTest (April 2021 - Present)
RoboChart & RoboTool: modelling and verification of probabilistic systems
A tutorial on how to use RoboChart and RoboTool to model and verify probabilistic systems.
Oct 15, 2019
Project
RoboChart & RoboTool: modelling and verification of probabilistic systems
Modelling and verification of probabilistic behaviour of robotic applications
This talk presents how our RoboTool uses PRISM to analyse probability properties of robotic applications by transforming RoboChart to PRISM.
Jul 23, 2019
Project
Modelling and verification of probabilistic behaviour of robotic applications
RoboCalc (April 2018 - March 2021)
RoboCalc is a EPSRC funded project. It is also a RoboStar project.
RoboCalc (April 2018 - March 2021)