Owl: A Library for J Křetínský, T Meggendorfer, S Sickert
International Symposium on Automated Technology for Verification and …, 2018
104 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
57 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
55 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
30 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 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 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
20 2017 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
19 2018 PET–A Partial Exploration Tool for Probabilistic Verification T Meggendorfer
Automated Technology for Verification and Analysis: 20th International …, 2022
13 2022 Risk-aware Stochastic Shortest Path T Meggendorfer
Proceedings of the AAAI Conference on Artificial Intelligence 36 (9), 9858-9867, 2022
12 2022 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
11 2024 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
11 2019 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
10 * 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
10 2023 Index appearance record with preorders J Křetínský, T Meggendorfer, C Waldmann, M Weininger
Acta Informatica 59 (5), 585-618, 2022
8 2022 Semantic labelling and learning for parity game solving in LTL synthesis J Křetínský, A Manta, T Meggendorfer
Automated Technology for Verification and Analysis: 17th International …, 2019
8 2019 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
7 2023 Faster Algorithm for Turn-based Stochastic Games with Bounded Treewidth K Chatterjee, T Meggendorfer, R Saona, J Svoboda
Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms …, 2023
6 2023 Entropic risk for turn-based stochastic games C Baier, K Chatterjee, T Meggendorfer, J Piribauer
Information and Computation 301, 105214, 2024
5 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
5 2023 
Jan KřetínskýMasaryk University Brno; Technical University of MunichEmail verificata su fi.muni.cz
