
- 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
I am a developer of the probabilistic model checker Storm
Research Activities
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
2021 | |
---|---|
![]() |
Tim Quatmann, , Joost-Pieter Katoen. Markov automata with multiple objectives, Formal methods in system design, Springer, 2021. |
2020 | |
![]() ![]() |
Florent Delgrange, Joost-Pieter Katoen, Tim Quatmann, . Simple Strategies in Multi-Objective MDPs, Tools and Algorithms for the Construction and Analysis of Systems 2020 (TACAS 2020), Volume 12078 of Theoretical Computer Science and General Issues, 346-364, Springer, 2020. |
![]() ![]() |
Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann. Multi-cost Bounded Tradeoff Analysis in MDP, Journal of automated reasoning 64 (7), pages 1483-1522, Springer, 2020. |
![]() |
Alexander Bork, , Joost-Pieter Katoen, Tim Quatmann. Verification of Indefinite-Horizon POMDPs, International Symposium on Automated Technology for Verification and Analysis (ATVA 2020), Volume 12302 of LNCS, 288-304, Springer, 2020. |
Show all |