Kangfeng (Randall) Ye
Kangfeng (Randall) Ye
Home
Publications
News
Talks
Posts
Projects
Teaching
Showcases
Contact
Light
Dark
Automatic
Software engineering
ICFEM 2022 paper is available online
You can download the paper “Formally Verified Animation for RoboChart Using Interaction Trees”.
Last updated on Oct 21, 2022
Project
Call for paper: Special Issue of Software Engineering for Robotics in Robotics and Autonomous Systems Journal, Elsevier
Special Issue: Software Engineering for Robotics # Robotics and Autonomous Systems Journal, Elsevier.
Dec 9, 2021
Cite
×