Robust Model Checking with Imprecise Markov Reward Models

Alberto Termine, Alessandro Antonucci, Alessandro Facchini +1

In recent years probabilistic model checking has become an important area of research because of the diffusion of computational systems of stochastic nature. Despite its great succ…