Kangfeng Ye

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving Theoretical Computer Science	2024-11-18	Paper
Formally verified animation for RoboChart using interaction trees Journal of Logical and Algebraic Methods in Programming	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 From Astrophysics to Unconventional Computation	2022-03-02	Paper
Automated verification of reactive and concurrent programs by calculation Journal of Logical and Algebraic Methods in Programming	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 (available as arXiv preprint)	2018-11-08	Paper
Calculational verification of reactive programs with reactive relations and Kleene algebra	2018-11-08	Paper

Research outcomes over time

This page was built for person: Kangfeng Ye