Kangfeng Ye

Available identifiers

Publication	Date of Publication	Type
Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving	2024-11-18	Paper
Formally verified animation for RoboChart using interaction trees	2024-02-12	Paper
Automated reasoning for probabilistic sequential programs with theorem proving	2023-03-30	Paper
Compositional assume-guarantee reasoning of control law diagrams using UTP	2022-03-02	Paper
Automated verification of reactive and concurrent programs by calculation	2021-08-03	Paper
Probabilistic semantics for RoboChart. A weakest completion approach	2020-02-18	Paper
Calculational verification of reactive programs with reactive relations and Kleene algebra	2018-11-08	Paper

This page was built for person: Kangfeng Ye