Presentation and poster at YorRobots and RoboStar Industry Exhibition
![](/~ky582/talk/20221011_robostar_industry_exhibition/featured_huc33069bc0e152abde52a9995b9e57e6f_989968_720x2500_fit_q75_h2_lanczos_3.webp)
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.