Instructors

Overview

  • 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.

Schedule

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

Papers

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 https://dl.acm.org/doi/pdf/10.1145/3373718.3394761
  1. Theory
  2. Implementation
Simple Strategies in Multi-Objective MDPs https://link.springer.com/chapter/10.1007/978-3-030-45190-5_19
  1. Evaluation
  2. Implementation

Counterexample Explanation by Learning Small Strategies in Markov Decision Processes

https://link.springer.com/chapter/10.1007/978-3-319-21690-4_10
  1. Theory
  2. Implementation
  1. The Satisfiability Problem for Unbounded Fragments of Probabilistic CTL, and
  2. The Satisfiability Problem for Probabilistic CTL
https://drops.dagstuhl.de/opus/volltexte/2018/9570/
https://ieeexplore.ieee.org/document/4557928
  1. Theory
  2. Implementation

Model checkers

StormPRISMPRISM-Games.