Recent & Upcoming Talks

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
Engineering Robotic Swarms
A pint of science talk by me, James Baxter and Richard Redpath from our group.
May 22, 2019
Engineering Robotic Swarms
Isabelle/UTP Tutorial in Chinese
A Isabelle/UTP tutorial to the students in the computer science in Southwest University during three-days’ workshop. The tutorial is about 1 day (two afternoon).
May 13, 2019
Isabelle/UTP Tutorial in Chinese
Compositional Assume-Guarantee Reasoning of Control Law Diagrams using UTP
For further information of this talk, please see my paper Compositional Assume-Guarantee Reasoning of Control Law Diagrams Using UTP.
Jul 24, 2018
PDF Project
Compositional Assume-Guarantee Reasoning of Control Law Diagrams using UTP