Kangfeng (Randall) Ye
Kangfeng (Randall) Ye
Home
Publications
News
Talks
Posts
Projects
Teaching
Showcases
Contact
Light
Dark
Automatic
Animation
The submission (Formally Verified Animation for RoboChart using Interaction Trees) to ICFEM2022 is accepted
Jun 27, 2022
CyPhyAssure (June 2021 - August 2021)
CyPhyAssure
is a EPSRC funded project. It is also a
RoboStar
project.
Animation of RoboChart with Interaction Trees
Animation of RoboChart using Interaction Trees based CSP and code generation in Isabelle
Oct 6, 2021
Project
Cite
×
