| Building ProteomeTools based on a complete synthetic human proteome DP Zolg, M Wilhelm, K Schnatbaum, J Zerweck, T Knaute, B Delanghe, ... Nature methods 14 (3), 259-262, 2017 | 295 | 2017 |
| PAC statistical model checking for Markov decision processes and stochastic games P Ashok, J Křetínský, M Weininger International Conference on Computer Aided Verification, 497-519, 2019 | 77 | 2019 |
| 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 | 51 | 2023 |
| dtControl 2.0: explainable strategy representation via decision tree learning steered by experts P Ashok, M Jackermeier, J Křetínský, C Weinhuber, M Weininger, ... International Conference on Tools and Algorithms for the Construction and …, 2021 | 45 | 2021 |
| SOS: safe, optimal and small strategies for hybrid Markov decision processes P Ashok, J Křetínský, KG Larsen, A Le Coënt, JH Taankvist, M Weininger International Conference on Quantitative Evaluation of Systems, 147-164, 2019 | 42 | 2019 |
| dtControl: decision tree learning algorithms for controller representation P Ashok, M Jackermeier, P Jagtap, J Křetínský, M Weininger, M Zamani Proceedings of the 23rd international conference on hybrid systems …, 2020 | 41 | 2020 |
| Value iteration for simple stochastic games: Stopping criterion and learning algorithm E Kelmendi, J Krämer, J Křetínský, M Weininger International conference on computer aided verification, 623-642, 2018 | 41 | 2018 |
| Comparison of algorithms for simple stochastic games J Křetínský, E Ramneantu, A Slivinskiy, M Weininger Information and Computation 289, 104885, 2022 | 36 | 2022 |
| Automata tutor v3 L D’Antoni, M Helfrich, J Kretinsky, E Ramneantu, M Weininger International Conference on Computer Aided Verification, 3-14, 2020 | 31 | 2020 |
| Stochastic games with lexicographic reachability-safety objectives K Chatterjee, JP Katoen, M Weininger, T Winkler International conference on computer aided verification, 398-420, 2020 | 23 | 2020 |
| 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, 2023 | 22 | 2023 |
| Value iteration for simple stochastic games: Stopping criterion and learning algorithm J Eisentraut, E Kelmendi, J Křetínský, M Weininger Information and Computation 285, 104886, 2022 | 22 | 2022 |
| Approximating values of generalized-reachability stochastic games P Ashok, K Chatterjee, J Křetínský, M Weininger, T Winkler Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020 | 22 | 2020 |
| Optimistic and topological value iteration for simple stochastic games M Azeem, A Evangelidis, J Křetínský, A Slivinskiy, M Weininger International Symposium on Automated Technology for Verification and …, 2022 | 21 | 2022 |
| Index appearance record for transforming Rabin automata into parity automata J Křetínský, T Meggendorfer, C Waldmann, M Weininger International Conference on Tools and Algorithms for the Construction and …, 2017 | 21 | 2017 |
| Sound statistical model checking for probabilities and expected rewards CE Budde, A Hartmanns, T Meggendorfer, M Weininger, P Wienhöft International Conference on Tools and Algorithms for the Construction and …, 2025 | 16 | 2025 |
| What are the odds? improving the foundations of statistical model checking T Meggendorfer, M Weininger, P Wienhöft arXiv preprint arXiv:2404.05424, 2024 | 15 | 2024 |
| Stopping criteria for value iteration on stochastic games with quantitative objectives J Křetínský, T Meggendorfer, M Weininger 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2023 | 13 | 2023 |
| Satisfiability bounds for ω-regular properties in bounded-parameter Markov decision processes M Weininger, T Meggendorfer, J Křetínský 2019 IEEE 58th Conference on Decision and Control (CDC), 2284-2291, 2019 | 13 | 2019 |
| Stochastic games with lexicographic objectives K Chatterjee, JP Katoen, S Mohr, M Weininger, T Winkler Formal methods in system design 63 (1), 40-80, 2024 | 12 | 2024 |
