Verification of Probabilistic Systems Methods and Tools
Serge Haddad, Patrice Moreaux · 2008
This chapter contains sections titled: Introduction Performance evaluation of Markovian models High level stochastic models Probabilistic verification of Markov chains Markov decision processes Bibliography