Probabilistic semantics

Probabilistic modelling and verification using RoboChart and PRISM @ MODELS2022
A presentation given at MODELS2022 (ACM / IEEE 25th International Conference on Model Driven Engineering Languages and Systems).
Oct 27, 2022
PDF Project Project