Presentation and poster at YorRobots and RoboStar Industry Exhibition
This talk briefly presents probabilistic modelling in RoboChart through probabilistic junctions, a probabilistic property language, and verification using probabilistic model checker PRISM and theorem prover Isabelle/UTP.
Kangfeng (Randall) Ye
Research Associate (Computer Science)
My research interests include probabilistic modelling and verification using formal specification and verification (both model checking and theorem proving) and model-based engineering.