| Owl: A Library for -Words, Automata, and LTL J Křetínský, T Meggendorfer, S Sickert International Symposium on Automated Technology for Verification and …, 2018 | 115 | 2018 |
| Rabinizer 4: from LTL to your favourite deterministic automaton J Křetínský, T Meggendorfer, S Sickert, C Ziegler Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018 | 60 | 2018 |
| Value Iteration for Long-Run Average Reward in Markov Decision Processes P Ashok, K Chatterjee, P Daca, J Křetínský, T Meggendorfer International Conference on Computer Aided Verification, 201-221, 2017 | 56 | 2017 |
| Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs K Chatterjee, AK Goharshady, T Meggendorfer, Đ Žikelić International Conference on Computer Aided Verification, 55-78, 2022 | 45 | 2022 |
| Of Cores: A Partial-Exploration Framework for Markov Decision Processes J Křetínský, T Meggendorfer Logical Methods in Computer Science 16, 2020 | 25 | 2020 |
| Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes J Křetínský, T Meggendorfer Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018 | 24 | 2018 |
| Efficient Strategy Iteration for Mean Payoff in Markov Decision Processes J Křetínský, T Meggendorfer International Symposium on Automated Technology for Verification and …, 2017 | 23 | 2017 |
| 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 |
| Quantitative bounds on resource usage of probabilistic programs K Chatterjee, AK Goharshady, T Meggendorfer, Đ Žikelić Proceedings of the ACM on Programming Languages 8 (OOPSLA1), 362-391, 2024 | 21 | 2024 |
| 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 Statistical Model Checking of Markov Decision Processes T Meggendorfer, M Weininger, P Wienhöft International Conference on Quantitative Evaluation of Systems and Formal …, 2025 | 15* | 2025 |
| Risk-aware Stochastic Shortest Path T Meggendorfer Proceedings of the AAAI Conference on Artificial Intelligence 36 (9), 9858-9867, 2022 | 15 | 2022 |
| 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 |
| PET–A Partial Exploration Tool for Probabilistic Verification T Meggendorfer Automated Technology for Verification and Analysis: 20th International …, 2022 | 13 | 2022 |
| 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 |
| Playing Games with Your PET: Extending the Partial Exploration Tool to Stochastic Games T Meggendorfer, M Weininger International Conference on Computer Aided Verification, 359-372, 2024 | 12 | 2024 |
| MDPs as distribution transformers: Affine invariant synthesis for safety objectives S Akshay, K Chatterjee, T Meggendorfer, Đ Žikelić International Conference on Computer Aided Verification, 86-112, 2023 | 12 | 2023 |
| Solving Robust Markov Decision Processes: Generic, Reliable, Efficient T Meggendorfer, M Weininger, P Wienhöft Proceedings of the AAAI Conference on Artificial Intelligence 39 (25), 26631 …, 2025 | 11 | 2025 |
| Guessing Winning Policies in LTL Synthesis by Semantic Learning J Křetínský, T Meggendorfer, M Prokop, S Rieder International Conference on Computer Aided Verification, 390-414, 2023 | 11 | 2023 |
Jan KřetínskýMasaryk University Brno; Technical University of MunichVerified email at fi.muni.cz
