Tim Quatmann

Identifiers

No identifiers captured yet.

Papers (5)

1. Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families cs.LO · 2026 · author #5
2. Sound Value Iteration cs.LO · 2018 · author #1
3. Permissive Finite-State Controllers of POMDPs using Parameter Synthesis cs.LO · 2017 · author #4
4. Markov Automata with Multiple Objectives cs.LO · 2017 · author #1
5. Parameter Synthesis for Markov Models: Faster Than Ever cs.LO · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Joost-Pieter Katoen 4 shared papers
• Sebastian Junges 4 shared papers
• Nils Jansen 2 shared papers
• Bernd Becker 1 shared papers
• Christian Dehnert 1 shared papers
• Filip Mac\'ak 1 shared papers
• Leonore Winterer 1 shared papers
• Luko van der Maas 1 shared papers
• Milan \v{C}e\v{s}ka 1 shared papers
• Ralf Wimmer 1 shared papers