Email

tim.quatmann at cs.rwth-aachen.de

Address

Room 4206
Ahornstraße 55
D-52074 Aachen

Phone

+49 241 80 21210

Research

I am a PhD student at the Software Modeling and Verification Group (MOVES) headed by Professor J.-P. Katoen.
My research interests include:

• Multi-objective model checking
• Synthesis of parametric probabilistic systems

Teaching

I am currently involved in the following teaching activities:

• Modelling and Verification of Probabilistic Systems

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, , 2018.
	Tim Quatmann, Joost-Pieter Katoen. Sound Value Iteration. Prof. 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.
2017
	Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen. Markov Automata with Multiple Objectives. Proc. of Computer Aided Verification (CAV), Volume 10426 of LNCS, pages 140–159, Springer, 2017.
Show all