[FKNP11]
Vojtěch Forejt, Marta Kwiatkowska, Gethin Norman and David Parker.
Automated Verification Techniques for Probabilistic Systems.
In M. Bernardo and V. Issarny (editors), Formal Methods for Eternal Networked Software Systems (SFM'11), volume 6659 of LNCS, pages 53-113, Springer.
June 2011.
[pdf]
[bib]
[Tutorial paper on probabilistic model checking, focusing on verification techniques for MDPs, accompanied by case studies and examples for PRISM.]
|
Notes:
Accompanying PRISM files are available here.
The original publication is available at link.springer.com.
|
![]() |