Publications

Note: Authors are ordered alphabetically, CORE ranking obtained from the CORE portal. Most author’s names link to their respective homepage. (If you are an author on this list with a missing or outdated link please contact me!)

Conference Articles

2024

Certified Policy Verification and Synthesis for MDPs under Distributional Reach-Avoidance Properties
In IJCAI 2024
Note: Accepted, to appear
Causally Deterministic Markov Decision Processes
S. Akshay, Tobias Meggendorfer, and P. S. Thiagarajan
In 35th International Conference on Concurrency Theory, CONCUR 2024, September 9-13, 2024, Calgary, Canada
CAVA*
Distinguished Paper
Playing Games with Your PET: Extending the Partial Exploration Tool to Stochastic Games
Tobias Meggendorfer, and Maximilian Weininger
In Computer Aided Verification - 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III

2023

Reachability Poorman Discrete-Bidding Games
Guy Avni, Tobias Meggendorfer, Suman Sadhukhan, Josef Tkadlec, and Đorđe Žikelić
In ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland - Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023)
Entropic Risk for Turn-Based Stochastic Games
In 48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023, August 28 to September 1, 2023, Bordeaux, France
CAVA*
Guessing Winning Policies in LTL Synthesis by Semantic Learning
Jan Křetínský, Tobias Meggendorfer, Maximilian Prokop, and Sabine Rieder
In Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
CAVA*
MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives
In Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives
Jan Křetínský, Tobias Meggendorfer, and Maximilian Weininger
In 38th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2023, Boston, MA, USA, June 26-29, 2023
Correct Approximation of Stationary Distributions
Tobias Meggendorfer
In Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part I
Faster Algorithm for Turn-based Stochastic Games with Bounded Treewidth
In Proceedings of the 2023 ACM-SIAM Symposium on Discrete Algorithms, SODA 2023, Florence, Italy, January 22-25, 2023

2022

Algorithms and Hardness Results for Computing Cores of Markov Chains
Ali Ahmadi, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Roodabeh Safavi, and Đorđe Žikelić
In 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2022, December 18-20, 2022, IIT Madras, Chennai, India
PET - A Partial Exploration Tool for Probabilistic Verification
Tobias Meggendorfer
In Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings
Anytime Guarantees for Reachability in Uncountable Markov Decision Processes
Kush Grover, Jan Křetínský, Tobias Meggendorfer, and Maximilian Weininger
In 33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland
CAVA*
Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs
In Computer Aided Verification - 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I
Risk-Aware Stochastic Shortest Path
Tobias Meggendorfer
In Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, IAAI 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, EAAI 2022 Virtual Event, February 22 - March 1, 2022

2019

Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis
Jan Křetínský, Alexander Manta, and Tobias Meggendorfer
In Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings
Satisfiability Bounds for ω-Regular Properties in Bounded-Parameter Markov Decision Processes
Jan Křetínský, Tobias Meggendorfer, and Maximilian Weininger
In 58th IEEE Conference on Decision and Control, CDC 2019, Nice, France, December 11-13, 2019
Of Cores: A Partial-Exploration Framework for Markov Decision Processes
Jan Křetínský, and Tobias Meggendorfer
In 30th International Conference on Concurrency Theory, CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands

2018

Owl: A Library for ω-Words, Automata, and LTL
Jan Křetínský, Tobias Meggendorfer, and Salomon Sickert
In Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
CAVA*
Rabinizer 4: From LTL to Your Favourite Deterministic Automaton
Jan Křetínský, Tobias Meggendorfer, Salomon Sickert, and Christopher Ziegler
In Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes
Jan Křetínský, and Tobias Meggendorfer
In Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018

2017

Efficient Strategy Iteration for Mean Payoff in Markov Decision Processes
Jan Křetínský, and Tobias Meggendorfer
In Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings
CAVA*
Value Iteration for Long-Run Average Reward in Markov Decision Processes
Pranav Ashok, Krishnendu Chatterjee, Przemysław Daca, Jan Křetínský, and Tobias Meggendorfer
In Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Index Appearance Record for Transforming Rabin Automata into Parity Automata
Jan Křetínský, Tobias Meggendorfer, Clara Waldmann, and Maximilian Weininger
In Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I

Journal Articles

2024

Inf. Comput.
Entropic risk for turn-based stochastic games
Information and Computation
Quantitative Bounds on Resource Usage of Probabilistic Programs
Proc. ACM Program. Lang.
Tools at the Frontiers of Quantitative Verification
Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Ceska, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Křetínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, and Zhen Zhang
CoRR

2022

Act. Inf.
Index appearance record with preorders
Jan Křetínský, Tobias Meggendorfer, Clara Waldmann, and Maximilian Weininger
Acta Informatica

2020

Of Cores: A Partial-Exploration Framework for Markov Decision Processes
Jan Křetínský, and Tobias Meggendorfer
Logical Methods in Computer Science

Book Chapters

2021

Verifikation von Markov Entscheidungsprozessen in diskreter Zeit
Tobias Meggendorfer

Theses

2021

Phd
Verification of Discrete-Time Markov Decision Processes
Tobias Meggendorfer

2020

MSc
Solving the quantitative Reachability Problem on Markov Decision Processes using Learning Algorithms
Tobias Meggendorfer

2015

MSc
On Fairness in Social Decision Schemes
Tobias Meggendorfer

2013

BSc
The Laplace equation involving measure data
Tobias Meggendorfer