TY  - RPRT
TI  - Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving
AU  - Kangfeng Ye
AU  - Jim Woodcock
AU  - Simon Foster
PY  - 2024
DO  - 10.1016/j.tcs.2024.114876
UR  - https://arxiv.org/abs/2303.09692
ID  - 2303.09692
ER  -