Quatmann, Tim

1. The Probabilistic Model Checker Storm
   2020/02/17 by Hensel, Christian, Junges, Sebastian, Katoen, Joost-Pieter +2 · 29 citations
   #FOS: Computer and information sciences #Software Engineering (cs.SE)
2. Parameter Synthesis for Markov Models: Covering the Parameter Space
   2019/03/16 by Sebastian Junges, Junges, Sebastian, Erika Ábrahám +11 · 4 citations
   Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Software Reliability and Analysis Research #Systems and Control (eess.SY) #electronic engineering #information engineering
3. A Practitioner's Guide to MDP Model Checking Algorithms
   2023/01/24 by Hartmanns, Arnd, Junges, Sebastian, Quatmann, Tim +1 · 6 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
4. Sound Value Iteration
   2018/04/13 by Quatmann, Tim, Katoen, Joost-Pieter · 3 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
5. Parameter Synthesis for Markov Models: Faster Than Ever
   2016/02/16 by Quatmann, Tim, Dehnert, Christian, Jansen, Nils +2 · 2 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
6. Tools at the Frontiers of Quantitative Verification
   2024/05/22 by Andriushchenko, Roman, Bork, Alexander, Budde, Carlos E. +20 · 3 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
7. Simple Strategies in Multi-Objective MDPs (Technical Report)
   2019/10/24 by Delgrange, Florent, Katoen, Joost-Pieter, Quatmann, Tim +1 · 2 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
8. A Spectrum of Approximate Probabilistic Bisimulations
   2024/07/10 by Spork, Timm, Baier, Christel, Katoen, Joost-Pieter +2 · 2 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
9. Fixed Point Certificates for Reachability and Expected Rewards in MDPs
   2025/01/20 by Chatterjee, Krishnendu, Quatmann, Tim, Schäffeler, Maximilian +3 · 2 citations
   #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #FOS: Electrical engineering #Logic in Computer Science (cs.LO) #Systems and Control (eess.SY) #electronic engineering #information engineering
10. Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains
    2024/01/19 by Hannah Mertens, Mertens, Hannah, Joost-Pieter Katoen +5 · 2 citations
    Computer Science · Decision Sciences · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #FOS: Mathematics #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Probability (math.PR) #Simulation Techniques and Applications