Presentation

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