Tim Quatmann

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 34

Top Topics

Stationary Distribution

Markov Decision Processes

Top Venues

Publications

Timm Spork, Christel Baier, Joost-Pieter Katoen, Jakob Piribauer, Tim Quatmann
A Spectrum of Approximate Probabilistic Bisimulations. CONCUR (2024)
Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann, Tobias Winkler
Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains. CoRR (2024)
Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann, Tobias Winkler
Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains. TACAS (2) (2024)
Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk
Parameter synthesis for Markov models: covering the parameter space. Formal Methods Syst. Des. 62 (1) (2024)
Timm Spork, Christel Baier, Joost-Pieter Katoen, Jakob Piribauer, Tim Quatmann
A Spectrum of Approximate Probabilistic Bisimulations. CoRR (2024)
Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Ceska, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Kretínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, Zhen Zhang
Tools at the Frontiers of Quantitative Verification. CoRR (2024)
Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger
A Practitioner's Guide to MDP Model Checking Algorithms. CoRR (2023)
Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger
A Practitioner's Guide to MDP Model Checking Algorithms. TACAS (1) (2023)
Alexander Bork, Joost-Pieter Katoen, Tim Quatmann
Under-Approximating Expected Total Rewards in POMDPs. CoRR (2022)
Alexander Bork, Joost-Pieter Katoen, Tim Quatmann
Under-Approximating Expected Total Rewards in POMDPs. TACAS (2) (2022)
Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen
Markov automata with multiple objectives. Formal Methods Syst. Des. 60 (1) (2022)
Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk
The probabilistic model checker Storm. Int. J. Softw. Tools Technol. Transf. 24 (4) (2022)
Tim Quatmann, Joost-Pieter Katoen
Multi-objective Optimization of Long-run Average and Total Rewards. TACAS (1) (2021)
Alexander Bork, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann
Verification of indefinite-horizon POMDPs. CoRR (2020)
Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann
Multi-cost Bounded Tradeoff Analysis in MDP. J. Autom. Reason. 64 (7) (2020)
Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk
The Probabilistic Model Checker Storm. CoRR (2020)
Alexander Bork, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann
Verification of Indefinite-Horizon POMDPs. ATVA (2020)
Carlos E. Budde, Arnd Hartmanns, Michaela Klauck, Jan Kretínský, David Parker, Tim Quatmann, Andrea Turrini, Zhen Zhang
On Correctness, Precision, and Performance in Quantitative Verification - QComp 2020 Competition Report. ISoLA (4) (2020)
Tim Quatmann, Joost-Pieter Katoen
Multi-objective Optimization of Long-run Average and Total Rewards. CoRR (2020)
Florent Delgrange, Joost-Pieter Katoen, Tim Quatmann, Mickael Randour
Simple Strategies in Multi-Objective MDPs. TACAS (1) (2020)
Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Bernd Becker, Ralf Wimmer, Leonore Winterer
Correct-by-construction policies for POMDPs. SNR (2019)
Florent Delgrange, Joost-Pieter Katoen, Tim Quatmann, Mickael Randour
Simple Strategies in Multi-Objective MDPs (Technical Report). CoRR (2019)
Ernst Moritz Hahn, Arnd Hartmanns, Christian Hensel, Michaela Klauck, Joachim Klein, Jan Kretínský, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz
The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report). TACAS (3) (2019)
Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk
Parameter Synthesis for Markov Models. CoRR (2019)
Arnd Hartmanns, Michaela Klauck, David Parker, Tim Quatmann, Enno Ruijters
The Quantitative Verification Benchmark Set. TACAS (1) (2019)
Tim Quatmann, Joost-Pieter Katoen
Sound Value Iteration. CAV (1) (2018)
Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker
Finite-State Controllers of POMDPs using Parameter Synthesis. UAI (2018)
Tim Quatmann, Joost-Pieter Katoen
Sound Value Iteration. CoRR (2018)
Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann
Multi-cost Bounded Reachability in MDP. TACAS (2) (2018)
Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker
Permissive Finite-State Controllers of POMDPs using Parameter Synthesis. CoRR (2017)
Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen
Markov Automata with Multiple Objectives. CAV (1) (2017)
Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen
Markov Automata with Multiple Objectives. CoRR (2017)
Tim Quatmann, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
Parameter Synthesis for Markov Models: Faster Than Ever. CoRR (2016)
Tim Quatmann, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
Parameter Synthesis for Markov Models: Faster Than Ever. ATVA (2016)
Tim Quatmann, Nils Jansen, Christian Dehnert, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
Counterexamples for Expected Rewards. FM (2015)