Picture for Kangfeng Ye

Kangfeng Ye

RoboCertProb: Property Specification for Probabilistic RoboChart Models

Add code
Mar 12, 2024
Viaarxiv icon

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

Add code
Mar 16, 2023
Viaarxiv icon