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

Kangfeng Ye, Jim Woodcock, Simon Foster
January, 2023
Cite arXiv