Follow
Tobias Meggendorfer
Tobias Meggendorfer
Assistant Professor, Lancaster University Leipzig
Verified email at meggendorfer.de - Homepage
Title
Cited by
Cited by
Year
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
862018
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
482018
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
472017
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
212017
Of Cores: A Partial-Exploration Framework for Markov Decision Processes
J Křetínský, T Meggendorfer
Logical Methods in Computer Science 16, 2020
192020
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
192017
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
162022
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
152018
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
92019
Index appearance record with preorders
J Křetínský, T Meggendorfer, C Waldmann, M Weininger
Acta Informatica 59 (5), 585-618, 2022
82022
Risk-aware Stochastic Shortest Path
T Meggendorfer
Proceedings of the AAAI Conference on Artificial Intelligence 36 (9), 9858-9867, 2022
82022
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
72019
PET–A Partial Exploration Tool for Probabilistic Verification
T Meggendorfer
Automated Technology for Verification and Analysis: 20th International …, 2022
62022
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
42023
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
42018
Algorithms and Hardness Results for Computing Cores of Markov Chains
A Ahmadi, K Chatterjee, AK Goharshady, T Meggendorfer, R Safavi, ...
32022
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
32022
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
22023
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
22023
Verification of Discrete-Time Markov Decision Processes
T Meggendorfer
Technische Universität München, 2021
22021
The system can't perform the operation now. Try again later.
Articles 1–20