ICFEM 2022 paper is available online

Last updated on Oct 21, 2022
Project

You can download the paper “Formally Verified Animation for RoboChart Using Interaction Trees”.

Robotics Software engineering Journal RAS CFP
Kangfeng (Randall) Ye
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.