Distributional Probabilistic Model Checking

Ingy Elsayed-Aly, David Parker, Lu Feng

Probabilistic model checking can provide formal guarantees on the behavior of stochastic models relating to a wide range of quantitative properties, such as runtime, energy consump…