Instructors
- Lecturer: Prof. Jan Kretinsky
- Supervisors:
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):
- Friday, 21.04: 14:00-17:20 [includes ~20mins break]
- Room 03.09.014
- 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 |
|
Approximating Values of Generalized-Reachability Stochastic Games | https://dl.acm.org/doi/pdf/10.1145/3373718.3394761 |
|
Simple Strategies in Multi-Objective MDPs | https://link.springer.com/chapter/10.1007/978-3-030-45190-5_19 |
|
Counterexample Explanation by Learning Small Strategies in Markov Decision Processes | https://link.springer.com/chapter/10.1007/978-3-319-21690-4_10 |
|
| https://drops.dagstuhl.de/opus/volltexte/2018/9570/ https://ieeexplore.ieee.org/document/4557928 |
|