MOVEP'14: Probabilistic Real-time Systems
Here are some resources for the "Probabilistic Real-time Systems" session
at MOVEP'14,
given by Dave Parker:
-
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 PTAs.
-
This tutorial paper on probabilistic model checking of MDPs.
-
There are further tutorial papers listed here.
