research
∙
03/16/2023
Probabilistic relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving
Probabilistic programming combines general computer programming, statist...
research
∙
03/16/2023
Formally Verified Animation for RoboChart using Interaction Trees
RoboChart is a core notation in the RoboStar framework. It is a timed an...
research
∙
07/27/2020
Automated Verification of Reactive and Concurrent Programs by Calculation
Reactive programs combine traditional sequential programming constructs ...
research
∙
06/06/2018