Tim Quatmann

quatmann-2

Email
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:

2019
DOI [bibtex] Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Bernd Becker, Ralf Wimmer, Leonore Winterer. 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), pages 6-8, ACM Press, 2019.
DOI fulltext PDF [bibtex] Ernst Moritz Hahn, Arnd Hartmanns, Hans Christian Hensel, Michaela Klauck, Joachim Klein, Jan Křetínský, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz. The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models : (QComp 2019 Competition Report), 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019), Volume 11429 of LNCS, pages 69-92, Springer, 2019.
DOI fulltext PDF [bibtex] Arnd Hartmanns, Michaela Klauck, David Parker, Tim Quatmann, Enno Ruijters. The Quantitative Verification Benchmark Set, Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Volume 11427 of LNCS, pages 344-350, Springer, 2019.
2018
[bibtex] Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker. Finite-state Controllers of POMDPs via Parameter Synthesis, 34th Conference on Uncertainty in Artificial Intelligence (UAI 34), pages 519-529, Curran Associates, Inc., 2018.
fulltext PDF [bibtex] Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker. Finite-State Controllers of POMDPs using Parameter Synthesis, 34th Conference on Uncertainty in Artificial Intelligence, pages 519-529, AUAI Press, 2018.
DOI fulltext PDF [bibtex] Tim Quatmann, Joost-Pieter Katoen. Sound Value Iteration, 30th International Conference on Computer Aided Verification (CAV 2018), Volume 10981 of LNCS, pages 643-661, Springer, 2018.
DOI fulltext PDF [bibtex] Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, 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, pages 320-339, Springer, 2018.
2017
DOI [bibtex] Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen. Markov Automata with Multiple Objectives, 29th International Conference on Computer-Aided Verification (CAV 2017), Volume 10426 of LNCS, pages 140-159, Springer, 2017.
2016
DOI [bibtex] Tim Quatmann, Hans Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen. Parameter Synthesis for Markov Models: Faster Than Ever, 14th International Symposium on Automated Technology for Verification and Analysis (ATVA 2016), Volume 9938 of LNCS, pages 50-67, Springer, 2016.
2015
DOI [bibtex] Tim Quatmann, Nils Jansen, Hans Christian Dehnert, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker. Counterexamples for Expected Rewards, 20th international symposium Formal Methods (FM 2015), Volume 9109 of LNCS, pages 435-452, Springer, 2015.