Modelling and verification of probabilistic behaviour of robotic applications
Verification of the probabilistic behaviour of RoboChart by PRISM
This talk was presented during a two-day workshop to communicate with our visitors (Prof. Zhiming Liu and his team) from Southwest University, Chongqing, China.
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.