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 | 91 | 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 | 48 | 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 | 48 | 2017 |
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 | 21 | 2017 |
Of Cores: A Partial-Exploration Framework for Markov Decision Processes J Křetínský, T Meggendorfer Logical Methods in Computer Science 16, 2020 | 19 | 2020 |
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 | 19 | 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 | 18 | 2022 |
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 | 16 | 2018 |
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 | 9 | 2019 |
Index appearance record with preorders J Křetínský, T Meggendorfer, C Waldmann, M Weininger Acta Informatica 59 (5), 585-618, 2022 | 8 | 2022 |
Risk-aware Stochastic Shortest Path T Meggendorfer Proceedings of the AAAI Conference on Artificial Intelligence 36 (9), 9858-9867, 2022 | 8 | 2022 |
PET–A Partial Exploration Tool for Probabilistic Verification T Meggendorfer Automated Technology for Verification and Analysis: 20th International …, 2022 | 7 | 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 | 7 | 2019 |
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 | 4 | 2023 |
LTL Store: Repository of LTL formulae from literature and case studies J Křetínský, T Meggendorfer, S Sickert arXiv preprint arXiv:1807.03296, 2018 | 4 | 2018 |
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 | 3 | 2023 |
Algorithms and Hardness Results for Computing Cores of Markov Chains A Ahmadi, K Chatterjee, AK Goharshady, T Meggendorfer, R Safavi, ... | 3 | 2022 |
Anytime Guarantees for Reachability in Uncountable Markov Decision Processes K Grover, J Křetínský, T Meggendorfer, M Weininger 33rd International Conference on Concurrency Theory (CONCUR 2022), 2022 | 3 | 2022 |
Verification of Discrete-Time Markov Decision Processes T Meggendorfer Technische Universität München, 2021 | 3 | 2021 |
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 | 2 | 2023 |