- 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) |