Probabilistic relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving (2023)
Attributed to:
A Calculus for Software Engineering of Mobile and Autonomous Robots
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.48550/arxiv.2303.09692
Publication URI: https://arxiv.org/abs/2303.09692
Type: Preprint