Kangfeng (Randall) Ye
Kangfeng (Randall) Ye
Home
Publications
News
Talks
Posts
Projects
Teaching
Showcases
Contact
Light
Dark
Automatic
RoboChart
Probabilistic relations for modelling epistemic and aleatoric uncertainties: its semantics and automated reasoning with theorem proving
A RoboStar seminar: a summary of our recent work in modelling and verification of probabilistic programs.
Jun 28, 2023
PDF
Project
Project
Probabilistic modelling and verification using RoboChart and PRISM @ MODELS2022
A presentation given at MODELS2022 (ACM / IEEE 25th International Conference on Model Driven Engineering Languages and Systems).
Oct 27, 2022
PDF
Project
Project
Formally Verified Animation for RoboChart Using Interaction Trees
A RoboStar seminar: preparation and rehearsal for a presentation given later in ICFEM 2022
Oct 19, 2022
Project
Project
Presentation and poster at YorRobots and RoboStar Industry Exhibition
A 5-minute presentation and a poster of my research work in RoboStar.
Oct 11, 2022
PDF
Probabilistic modelling and verification using RoboChart and PRISM
A RoboStar seminar: preparation and rehearsal for a presentation given later in MODELS 2022
Oct 5, 2022
Project
The submission (Formally Verified Animation for RoboChart using Interaction Trees) to ICFEM2022 is accepted
Jun 27, 2022
Automated Reasoning for Probabilistic Sequential Programs with Theorem Proving @ RAMiCS2021
Presentation for RAMiCS2021
Nov 4, 2021
PDF
Project
Slides
Automated Reasoning for Probabilistic Sequential Programs with Theorem Proving
Rehearsal for RAMiCS2021 on 4th November, 2021
Oct 29, 2021
Project
Animation of RoboChart with Interaction Trees
Animation of RoboChart using Interaction Trees based CSP and code generation in Isabelle
Oct 6, 2021
Project
Modelling and verification of probabilistic behaviour of robotic applications
This talk presents how our RoboTool uses PRISM to analyse probability properties of robotic applications by transforming RoboChart to PRISM.
Jul 23, 2019
Project
Cite
×
