- 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
| 2020 | |
|---|---|
[bibtex]
[issue]
|
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. |
|
[bibtex]
[issue]
|
Arnd Hartmanns, Joost-Pieter Katoen, Sebastian Junges, Tim Quatmann. Multi-cost Bounded Tradeoff Analysis in MDP, Journal of automated reasoning 64 (7), pages 1483-1522, Springer, 2020. |
| 2019 | |
|
[bibtex]
[issue]
|
, , , , Hans Christian Hensel, , , , , Tim Quatmann. The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models, 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019), Volume 11429 of LNCS, 69-92, Springer, 2019. |
|
[bibtex]
[issue]
|
, , Enno Ruijters, , Tim Quatmann. The Quantitative Verification Benchmark Set, 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Volume 11427 of LNCS, 344-350, Springer, 2019. |
|
[bibtex]
[issue]
|
, Joost-Pieter Katoen, , , , Sebastian Junges, Tim Quatmann. Correct-by-construction policies for POMDPs, 5th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT (SNR) held as part of the 12th Cyber-Physical Systems and Internet-of-Things Week (CPS-IoT Week) (SNR '19), 6-8, ACM Press, 2019. |
| 2018 | |
|
[bibtex]
[issue]
|
, Joost-Pieter Katoen, Sebastian Junges, Tim Quatmann. Multi-cost Bounded Reachability in MDP, 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018), Volume 10806 of LNCS, 320-339, Springer, 2018. |
|
[bibtex]
[issue]
|
Joost-Pieter Katoen, Tim Quatmann. Sound Value Iteration, 30th International Conference on Computer Aided Verification (CAV 2018), Volume 10981 of LNCS, 643-661, Springer, 2018. |
|
[bibtex]
[issue]
|
Bernd Becker, Joost-Pieter Katoen, , Nils Jansen, Ralf Wimmer, Sebastian Junges, Tim Quatmann. Finite-State Controllers of POMDPs using Parameter Synthesis, 34th Conference on Uncertainty in Artificial Intelligence (UAI 34), 519-529, AUAI Press, 2018. |
| [bibtex] [issue] | Bernd Becker, Joost-Pieter Katoen, , Nils Jansen, Ralf Wimmer, Sebastian Junges, Tim Quatmann. Finite-State Controllers of POMDPs using Parameter Synthesis, 34th Conference on Uncertainty in Artificial Intelligence (UAI 34), 519-529, Curran Associates, Inc., 2018. |
| 2017 | |
|
[bibtex]
[issue]
|
Joost-Pieter Katoen, Sebastian Junges, Tim Quatmann. Markov Automata with Multiple Objectives, 29th International Conference on Computer-Aided Verification (CAV 2017), Volume 10426 of LNCS, 140-159, Springer, 2017. |
| 2016 | |
|
[bibtex]
[issue]
|
Hans Christian Dehnert, Joost-Pieter Katoen, , Sebastian Junges, Tim Quatmann. Parameter Synthesis for Markov Models, 14th International Symposium on Automated Technology for Verification and Analysis (ATVA 2016), Volume 9938 of LNCS, 50-67, Springer, 2016. |
| 2015 | |
|
[bibtex]
[issue]
|
Bernd Becker, Erika Ábrahám, Hans Christian Dehnert, Joost-Pieter Katoen, Nils Jansen, Ralf Wimmer, Tim Quatmann. Counterexamples for Expected Rewards, Volume 9109 of LNCS, 435-452, Springer, 2015. |