Tim Quatmann
Identifiers
No identifiers captured yet.
Papers (5)
- Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families cs.LO · 2026 · author #5
- Sound Value Iteration cs.LO · 2018 · author #1
- Permissive Finite-State Controllers of POMDPs using Parameter Synthesis cs.LO · 2017 · author #4
- Markov Automata with Multiple Objectives cs.LO · 2017 · author #1
- 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