Tim Quatmann

According to our database, Tim Quatmann authored at least 29 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains.

Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann, Tobias Winkler

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains (Artifact).

Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann, Tobias Winkler

Dataset, December, 2023

Verification of multi-objective Markov models.

Tim Quatmann

PhD thesis, 2023

A Practitioner's Guide to MDP Model Checking Algorithms.

Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2022

Markov automata with multiple objectives.

Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen

Formal Methods Syst. Des., February, 2022

The probabilistic model checker Storm.

Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk

Int. J. Softw. Tools Technol. Transf., 2022

Under-Approximating Expected Total Rewards in POMDPs.

Alexander Bork, Joost-Pieter Katoen, Tim Quatmann

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

2021

Artifact for Paper: Under-Approximating Expected Total Rewards in POMDPs.

Alexander Bork, Joost-Pieter Katoen, Tim Quatmann

Dataset, November, 2021

Artifact for Paper: Under-Approximating Expected Total Rewards in POMDPs.

Alexander Bork, Joost-Pieter Katoen, Tim Quatmann

Dataset, November, 2021

Update Package for Artifact for Paper: Under-Approximating Expected Total Rewards in POMDPs.

Alexander Bork, Joost-Pieter Katoen, Tim Quatmann

Dataset, November, 2021

Artifact for Paper: Under-Approximating Expected Total Rewards in POMDPs.

Alexander Bork, Joost-Pieter Katoen, Tim Quatmann

Dataset, November, 2021

Multi-objective Optimization of Long-run Average and Total Rewards.

Tim Quatmann, Joost-Pieter Katoen

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

2020

Multi-objective Optimization of Long-run Average and Total Rewards: Supplemental Material.

Tim Quatmann, Joost-Pieter Katoen

Dataset, October, 2020

Multi-objective Optimization of Long-run Average and Total Rewards: Supplemental Material.

Tim Quatmann, Joost-Pieter Katoen

Dataset, October, 2020

Multi-cost Bounded Tradeoff Analysis in MDP.

Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann

J. Autom. Reason., 2020

Simple Strategies in Multi-Objective MDPs.

Florent Delgrange, Joost-Pieter Katoen, Tim Quatmann, Mickael Randour

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

On Correctness, Precision, and Performance in Quantitative Verification - QComp 2020 Competition Report.

Carlos E. Budde, Arnd Hartmanns, Michaela Klauck, Jan Kretínský, David Parker, Tim Quatmann, Andrea Turrini, Zhen Zhang

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020

Verification of Indefinite-Horizon POMDPs.

Alexander Bork, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann

Proceedings of the Automated Technology for Verification and Analysis, 2020

2019

Simple Strategies in Multi-Objective MDPs (Technical Report).

Florent Delgrange, Joost-Pieter Katoen, Tim Quatmann, Mickael Randour

CoRR, 2019

Parameter Synthesis for Markov Models.

Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk

CoRR, 2019

The Quantitative Verification Benchmark Set.

Arnd Hartmanns, Michaela Klauck, David Parker, Tim Quatmann, Enno Ruijters

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report).

Ernst Moritz Hahn, Arnd Hartmanns, Christian Hensel, Michaela Klauck, Joachim Klein, Jan Kretínský, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Correct-by-construction policies for POMDPs.

Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Bernd Becker, Ralf Wimmer, Leonore Winterer

Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, 2019

2018

Finite-State Controllers of POMDPs using Parameter Synthesis.

Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker

Proceedings of the Thirty-Fourth Conference on Uncertainty in Artificial Intelligence, 2018

Multi-cost Bounded Reachability in MDP.

Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Sound Value Iteration.

Tim Quatmann, Joost-Pieter Katoen

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

Permissive Finite-State Controllers of POMDPs using Parameter Synthesis.

Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker

CoRR, 2017

2016

Parameter Synthesis for Markov Models: Faster Than Ever.

Tim Quatmann, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen

Proceedings of the Automated Technology for Verification and Analysis, 2016

2015

Counterexamples for Expected Rewards.

Tim Quatmann, Nils Jansen, Christian Dehnert, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker

Proceedings of the FM 2015: Formal Methods, 2015