Probabilistic relations for modelling epistemic and aleatoric uncertainties: its semantics and automated reasoning with theorem proving

Jun 28, 2023
PDF Project Project
RoboChart Verification Theorem Proving Isabelle Probabilistic UTP Formal semantics Mechanisation Interaction Trees CSP
Kangfeng (Randall) Ye
Kangfeng (Randall) Ye
Research Associate (Computer Science)

My research interests include probabilistic modelling and verification using formal specification and verification (both model checking and theorem proving) and model-based engineering.