www.prismmodelchecker.org

2nd AVACS Autumn School: Probabilistic Model Checking and Controller Synthesis

Here are some resources for the "Probabilistic Model Checking and Controller Synthesis" lecture,
given by Dave Parker at the 2nd AVACS Autumn School, October 2015, Oldenburg.

  • The slides for the lecture.

  • A reference list for papers on probabilistic model checking, as cited in the lecture slides.

And here is some useful background reading:

  • This tutorial paper on probabilistic model checking of MDPs.

  • This tutorial paper on strategy synthesis for probabilistic systems.

  • There are further tutorial papers listed here.

Documentation