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
S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, and Đorđe Žikelić
In IJCAI 2024
Note: Accepted, to appear
CAVA*
Playing Games with your PET: Extending the Partial Exploration Tool to Stochastic Games
Tobias Meggendorfer, and Maximilian Weininger
In CAV 2024
Note: Accepted, to appear
Code GitLab
Quantitative Bounds on Resource Usage of Probabilistic Programs
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, and Đorđe Žikelić
In OOPSLA 2024
Note: Accepted, to appear
HAL Code GitHub

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)
DOI arXiv BibTeX
Entropic Risk for Turn-Based Stochastic Games
Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, and Jakob Piribauer
In 48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023, August 28 to September 1, 2023, Bordeaux, France
DOI arXiv BibTeX
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
DOI arXiv Code BibTeX
CAVA*
MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives
S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, and Đorđe Žikelić
In Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
DOI arXiv Code BibTeX
Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives
Jan Křetínský, Tobias Meggendorfer, and Maximilian Weininger
In LICS
DOI arXiv Poster Slides Video BibTeX
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
DOI arXiv BibTeX
Faster Algorithm for Turn-based Stochastic Games with Bounded Treewidth
Krishnendu Chatterjee, Tobias Meggendorfer, Raimundo Saona, and Jakub Svoboda
In Proceedings of the 2023 ACM-SIAM Symposium on Discrete Algorithms, SODA 2023, Florence, Italy, January 22-25, 2023
DOI BibTeX

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
DOI BibTeX
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
DOI Code GitLab BibTeX
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
DOI arXiv BibTeX
CAVA*
Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, and Đorđe Žikelić
In Computer Aided Verification - 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I
DOI HAL Code BibTeX
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
DOI arXiv Code Poster BibTeX

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
DOI arXiv Code BibTeX
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
DOI arXiv BibTeX
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
DOI arXiv BibTeX

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
DOI GitHub Website BibTeX
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
DOI Code BibTeX
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
DOI arXiv Poster BibTeX

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
DOI arXiv Code BibTeX
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
DOI arXiv Code BibTeX
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
DOI arXiv Code BibTeX

Journal Articles

2024

Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report
Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Češka, 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
TOOLympics

2022

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

2020

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

Book Chapters

2021

Verifikation von Markov Entscheidungsprozessen in diskreter Zeit
Tobias Meggendorfer
URL BibTeX

Theses

2021

Phd
Verification of Discrete-Time Markov Decision Processes
Tobias Meggendorfer
URL BibTeX

2020

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

2015

MSc
On Fairness in Social Decision Schemes
Tobias Meggendorfer
PDF Code

2013

BSc
The Laplace equation involving measure data
Tobias Meggendorfer
PDF