RoboStar

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
Presentation and poster at YorRobots and RoboStar Industry Exhibition
A 5-minute presentation and a poster of my research work in RoboStar.
Oct 11, 2022
PDF
Presentation and poster at YorRobots and RoboStar Industry Exhibition
YorRobots and RoboStar Industry Exhibition
On 11-12 October YorRobots and RoboStar will be hosting an Industry Exhibition, which will be held in person on the Heslington East campus.
Last updated on Oct 24, 2022