| 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, 2021 | 95 | 2021 |
| 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 | 92 | 2016 |
| Finite-state controllers of POMDPs via parameter synthesis JSL Junges, NH Jansen, R Wimmer, T Quatmann, L Winterer, JP Katoen, ... Corvallis: AUAI Press, 2018 | 61 | 2018 |
| Finite-state controllers of POMDPs via parameter synthesis JSL Junges, NH Jansen, R Wimmer, T Quatmann, L Winterer, JP Katoen, ... Corvallis: AUAI Press, 2018 | 61 | 2018 |
| The quantitative verification benchmark set A Hartmanns, M Klauck, D Parker, T Quatmann, E Ruijters Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019 | 59 | 2019 |
| 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ý, ... Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019 | 53 | 2019 |
| Sound value iteration T Quatmann, JP Katoen Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018 | 49 | 2018 |
| Parameter Synthesis for Markov Models S Junges, E Abraham, C Hensel, N Jansen, JP Katoen, T Quatmann, ... arXiv preprint arXiv:1903.07993, 2019 | 36 | 2019 |
| Simple strategies in multi-objective MDPs F Delgrange, JP Katoen, T Quatmann, M Randour Tools and Algorithms for the Construction and Analysis of Systems: 26th …, 2020 | 27 | 2020 |
| Multi-cost bounded reachability in MDP A Hartmanns, S Junges, JP Katoen, T Quatmann Tools and Algorithms for the Construction and Analysis of Systems: 24th …, 2018 | 26 | 2018 |
| Markov Automata with Multiple Objectives T Quatmann, S Junges, JP Katoen International Conference on Computer Aided Verification, 140-159, 2017 | 25 | 2017 |
| 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, ... Leveraging Applications of Formal Methods, Verification and Validation …, 2021 | 17 | 2021 |
| Verification of indefinite-horizon POMDPs A Bork, S Junges, JP Katoen, T Quatmann Automated Technology for Verification and Analysis: 18th International …, 2020 | 16 | 2020 |
| Multi-cost bounded tradeoff analysis in MDP A Hartmanns, S Junges, JP Katoen, T Quatmann Journal of automated reasoning 64 (7), 1483-1522, 2020 | 11 | 2020 |
| 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 |
| 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 | 8 | 2015 |
| The probabilistic model checker storm. CoRR abs/2002.07080 (2020) C Hensel, S Junges, J Katoen, T Quatmann, M Volk | 7 | 2002 |
| Under-approximating expected total rewards in POMDPs A Bork, JP Katoen, T Quatmann Tools and Algorithms for the Construction and Analysis of Systems: 28th …, 2022 | 4 | 2022 |
| 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 | 2 | 2021 |
| Correct-by-construction policies for pomdps N Jansen, S Junges, JP Katoen, T Quatmann, B Becker, R Wimmer, ... Proceedings of the Fifth International Workshop on Symbolic-Numeric methods …, 2019 | 2 | 2019 |
