| 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 | 245 | 2022 |
| 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 | 110 | 2016 |
| 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 | 97 | 2019 |
| Finite-state controllers of POMDPs via parameter synthesis JSL Junges, NH Jansen, R Wimmer, T Quatmann, L Winterer, JP Katoen, ... Corvallis: AUAI Press, 2018 | 77 | 2018 |
| Sound value iteration T Quatmann, JP Katoen International Conference on Computer Aided Verification, 643-661, 2018 | 70 | 2018 |
| 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 | 67 | 2019 |
| Parameter Synthesis for Markov Models S Junges, E Abraham, C Hensel, N Jansen, JP Katoen, T Quatmann, ... arXiv preprint arXiv:1903.07993, 2019 | 56 | 2019 |
| 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 | 45 | 2020 |
| 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 | 36 | 2020 |
| Verification of indefinite-horizon POMDPs A Bork, S Junges, JP Katoen, T Quatmann International Symposium on Automated Technology for Verification and …, 2020 | 33 | 2020 |
| 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 | 28 | 2018 |
| Markov Automata with Multiple Objectives T Quatmann, S Junges, JP Katoen International Conference on Computer Aided Verification, 140-159, 2017 | 26 | 2017 |
| Multi-cost bounded tradeoff analysis in MDP A Hartmanns, S Junges, JP Katoen, T Quatmann Journal of automated reasoning 64 (7), 1483-1522, 2020 | 24 | 2020 |
| Under-approximating expected total rewards in POMDPs A Bork, JP Katoen, T Quatmann International Conference on Tools and Algorithms for the Construction and …, 2022 | 20 | 2022 |
| 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 | 18 | 2023 |
| 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 | 13 | 2021 |
| 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 | 11 | 2015 |
| 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 | 8 | 2024 |
| Markov automata with multiple objectives T Quatmann, S Junges, JP Katoen Formal Methods in System Design, 1-54, 2021 | 8 | 2021 |
| Permissive finite-state controllers of pomdps using parameter synthesis S Junges, N Jansen, R Wimmer, T Quatmann, L Winterer, JP Katoen, ... arXiv preprint arXiv:1710.10294, 2017 | 8 | 2017 |
