Follow
Tim Quatmann
Title
Cited by
Cited by
Year
The probabilistic model checker Storm
C Hensel, S Junges, JP Katoen, T Quatmann, M Volk
International Journal on Software Tools for Technology Transfer, 1-22, 2022
2692022
Parameter synthesis for Markov models: Faster than ever
T Quatmann, C Dehnert, N Jansen, S Junges, JP Katoen
Automated Technology for Verification and Analysis: 14th International …, 2016
1122016
The quantitative verification benchmark set
A Hartmanns, M Klauck, D Parker, T Quatmann, E Ruijters
International Conference on Tools and Algorithms for the Construction and …, 2019
1052019
Finite-state controllers of POMDPs via parameter synthesis
JSL Junges, NH Jansen, R Wimmer, T Quatmann, L Winterer, JP Katoen, ...
Corvallis: AUAI Press, 2018
812018
Sound value iteration
T Quatmann, JP Katoen
International Conference on Computer Aided Verification, 643-661, 2018
732018
The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models: (QComp 2019 Competition Report)
EM Hahn, A Hartmanns, C Hensel, M Klauck, J Klein, J Křetínský, ...
International Conference on Tools and Algorithms for the Construction and …, 2019
722019
Parameter Synthesis for Markov Models
S Junges, E Abraham, C Hensel, N Jansen, JP Katoen, T Quatmann, ...
arXiv preprint arXiv:1903.07993, 2019
572019
On correctness, precision, and performance in quantitative verification: QComp 2020 competition report
CE Budde, A Hartmanns, M Klauck, J Křetínský, D Parker, T Quatmann, ...
International symposium on leveraging applications of formal methods, 216-241, 2020
532020
Simple strategies in multi-objective MDPs
F Delgrange, JP Katoen, T Quatmann, M Randour
International Conference on Tools and Algorithms for the Construction and …, 2020
382020
Verification of indefinite-horizon POMDPs
A Bork, S Junges, JP Katoen, T Quatmann
International Symposium on Automated Technology for Verification and …, 2020
342020
Multi-cost bounded reachability in MDP
A Hartmanns, S Junges, JP Katoen, T Quatmann
International Conference on Tools and Algorithms for the Construction and …, 2018
302018
A practitioner’s guide to MDP model checking algorithms
A Hartmanns, S Junges, T Quatmann, M Weininger
International Conference on Tools and Algorithms for the Construction and …, 2023
272023
Markov Automata with Multiple Objectives
T Quatmann, S Junges, JP Katoen
International Conference on Computer Aided Verification, 140-159, 2017
262017
Multi-cost bounded tradeoff analysis in MDP
A Hartmanns, S Junges, JP Katoen, T Quatmann
Journal of automated reasoning 64 (7), 1483-1522, 2020
252020
Under-approximating expected total rewards in POMDPs
A Bork, JP Katoen, T Quatmann
International Conference on Tools and Algorithms for the Construction and …, 2022
222022
Multi-objective optimization of long-run average and total rewards
T Quatmann, JP Katoen
Tools and Algorithms for the Construction and Analysis of Systems: 27th …, 2021
132021
Counterexamples for expected rewards
T Quatmann, N Jansen, C Dehnert, R Wimmer, E Ábrahám, JP Katoen, ...
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24 …, 2015
122015
Parameter synthesis for Markov models: covering the parameter space
S Junges, E Ábrahám, C Hensel, N Jansen, JP Katoen, T Quatmann, ...
Formal Methods in System Design, 1-79, 2024
102024
Tools at the frontiers of quantitative verification: QComp 2023 competition report
R Andriushchenko, A Bork, CE Budde, M Češka, K Grover, EM Hahn, ...
International TOOLympics Challenge, 90-146, 2024
82024
Markov automata with multiple objectives
T Quatmann, S Junges, JP Katoen
Formal Methods in System Design, 1-54, 2021
82021
The system can't perform the operation now. Try again later.
Articles 1–20