
- tim.quatmann at cs.rwth-aachen.de
- Address
- Room 4206
Ahornstraße 55
D-52074 Aachen - Phone
- +49 241 80 21210
Research Topics
My research interests include:
- Probabilistic model checking
- Multi-objective optimization
- Synthesis of parametric probabilistic systems
- Systems with partial observability
I am a developer of the probabilistic model checker Storm
Research Activities
2023 | Artifact Evaluation Co-Chair for QEST 2023 |
2022 | Member of the Artifact Evaluation Committee for TACAS 2022 |
2021 | Member of the Artifact Evaluation Committee for CAV 2021 |
2020 | Member of the Artifact Evaluation Committee for TACAS 2020 |
2019 | Co-organizer of the Comparison of Tools for the Analysis of Quantitative Formal Models (QComp) |
Teaching Activities
2023 | |
---|---|
![]() ![]() |
Tim Quatmann. Verification of multi-objective Markov models, PhD Thesis, RWTH Aachen University, 1 Online-Ressource : Illustrationen, RWTH Aachen University, 2023. |
![]() |
Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger. A Practitioner’s Guide to MDP Model Checking Algorithms, International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2023), Volume 13993 of LNCS, 469-488, Springer, 2023. |
2022 | |
![]() ![]() |
Alexander Nikolai Bork, Joost-Pieter Katoen, Tim Quatmann. Under-Approximating Expected Total Rewards in POMDPs, 28. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2022), Volume 13244 of LNCS, 22-40, Springer, 2022. |
Show all |