Verification and External Parameter Inference for Stochastic World Models

Radu Calinescu, Sinem Getir Yaman, Simos Gerasimou +2

Given its ability to analyse stochastic models ranging from discrete and continuous-time Markov chains to Markov decision processes and stochastic games, probabilistic model checki…