• Module IN0012, IN2106
  • Language: English
  • To be preferred in the matching, please send an email by 14.02. Checkout the slides for details.
  • See the description in TUMonline for information on content and prerequisites.
  • See the Slides of the pre-meeting for information on course structure and expectations.
  • NOTE: We can only provide help with Linux OS for the tools to be installed.


  • Lectures 1 and 2 (slides):
  • Lectures 3 and 4:
    • Monday, 24.04: 15:40-19:00 [tentative, includes ~20mins break]
    • Room 03.09.014


Title Links Focus
Statistical Model Checking Blackbox MDP via Families of Bounded Parameter MDP paper via email
  1. Implementation
  2. Theory
Approximating Values of Generalized-Reachability Stochastic Games
  1. Theory
  2. Implementation
Simple Strategies in Multi-Objective MDPs
  1. Evaluation
  2. Implementation

Counterexample Explanation by Learning Small Strategies in Markov Decision Processes
  1. Theory
  2. Implementation
  1. The Satisfiability Problem for Unbounded Fragments of Probabilistic CTL, and
  2. The Satisfiability Problem for Probabilistic CTL
  1. Theory
  2. Implementation

Model checkers