- tim.quatmann at cs.rwth-aachen.de
- Address
- Room 4206
Ahornstraße 55
D-52074 Aachen - Phone
- +49 241 80 21210
Research
My research interests include:
- Probabilistic model checking
- Multi-objective optimization
- Synthesis of parametric probabilistic systems
I am a developer of the stochastic model checker Storm and an organizer of the Comparison of Tools for the Analysis of Quantitative Formal Models (QComp).
Teaching
current teaching activities:
previous teaching activities:
- WS 18: Modeling and Verification of Probabilistic Systems
- SS 18: Datenstrukturen und Algorithmen
- WS 17: Theoretical Foundations of the UML
- WS 16: Advanced Model Checking
Publications
| 2018 | |
|---|---|
 | Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker. Finite-State Controllers of POMDPs via Parameter Synthesis. Proc. of UAI, AUAI, 2018. |
 | Tim Quatmann, Joost-Pieter Katoen. Sound Value Iteration. Proc. of CAV, Volume of LNCS, Springer, 2018. |
| Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann. Multi-Cost Bounded Reachability in MDPs. Proc. of TACAS, Volume 10805 of LNCS, , 2018. |
| Show all | |