Publications

Publications for Tim Quatmann

2017
Link
[bibtex]
Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen. Markov Automata with Multiple Objectives. Proc. of CAV, Volume 10426 of LNCS, pages 140–159, Springer, 2017.
2016
DOI
[bibtex]
Tim Quatmann, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen. Parameter Synthesis for Markov Models: Faster Than Ever. Proc. of ATVA, Volume 9938 of LNCS, pages 50–67, Springer, 2016.
Show all