KTH'15: Probabilistic verification and synthesis
The site contains various resources for the Probabilistic Verification and Synthesis
course taught at
KTH Institute of Technology (August 2015).
The following papers are recommended background reading:
The book Principles of of Model Checking by Christel Baier and Joost-Pieter Katoen is recommended reading for the course.
There are further tutorial papers listed here.