Search Results for author:
Found 2 papers, 0 papers with code
Probabilistic relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving
We demonstrate our work with six examples, including problems in robot localisation, classification in machine learning, and the termination of probabilistic loops.
RoboCertProb: Property Specification for Probabilistic RoboChart Models
To interpret RoboCertProb over RoboChart models, we give a Markov semantics (DTMCs and MDPs) to RoboChart, derived from its existing transformation semantics to the PRISM language.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
