| A Survey of Probabilistic Models | Paper | Slides |
| Model Checking Probabilistic and Nondeterministic Systems | Paper | Slides |
| Model Checking Stochastic Systems | Paper | Slides |
| Model Checking Probabilistic Timed Automata | Paper | Slides |
| Model Checking Hybrid Systems | Paper | Slides |
| Counterexample-guided Abstraction Refinement for Probabilistic Systems | Paper | Slides |
| Counterexample Generation using Bounded Model Checking | Paper | Slides |
| Partial Order Reduction | Paper | Slides |
| Game-based Abstraction | Paper | Slides |