Recent & Upcoming Talks

Probabilistic relations for modelling epistemic and aleatoric uncertainties: its semantics and automated reasoning with theorem proving
A RoboStar seminar: a summary of our recent work in modelling and verification of probabilistic programs.
Jun 28, 2023
PDF Project Project
Probabilistic relations for modelling epistemic and aleatoric uncertainties: its semantics and automated reasoning with theorem proving
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
Formally Verified Animation for RoboChart Using Interaction Trees @ ICFEM2022
A presentation given at ICFEM2022 (23rd International Conference on Formal Engineering Methods).
Oct 26, 2022
PDF Project
Formally Verified Animation for RoboChart Using Interaction Trees
A RoboStar seminar: preparation and rehearsal for a presentation given later in ICFEM 2022
Oct 19, 2022
Project Project
Formally Verified Animation for RoboChart Using Interaction Trees
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
Probabilistic modelling and verification using RoboChart and PRISM
A RoboStar seminar: preparation and rehearsal for a presentation given later in MODELS 2022
Oct 5, 2022
Project
Probabilistic modelling and verification using RoboChart and PRISM
Automated Reasoning for Probabilistic Sequential Programs with Theorem Proving @ RAMiCS2021
Presentation for RAMiCS2021
Nov 4, 2021
PDF Project Slides
Automated Reasoning for Probabilistic Sequential Programs with Theorem Proving @ RAMiCS2021
Automated Reasoning for Probabilistic Sequential Programs with Theorem Proving
Rehearsal for RAMiCS2021 on 4th November, 2021
Oct 29, 2021
Project
Automated Reasoning for Probabilistic Sequential Programs with Theorem Proving
Animation of RoboChart with Interaction Trees
Animation of RoboChart using Interaction Trees based CSP and code generation in Isabelle
Oct 6, 2021
Project
Animation of RoboChart with Interaction Trees
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