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

2025

What Are the Odds? Improving Statistical Model Checking of Markov Decision Processes
Patrick Wienhöft, Tobias Meggendorfer, and Maximilian Weininger
In QEST
Note: Accepted, to appear.
Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality
Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, and Patrick Wienhöft
In QEST
Note: Accepted, to appear.
Multiplicative Rewards in Markovian Models
Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, and Jakob Piribauer
In LICS
Note: Accepted, to appear.
arXiv
TACASA
Distinguished Paper
Sound Statistical Model Checking for Probabilities and Expected Rewards
Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, and Patrick Wienhöft
In Tools and Algorithms for the Construction and Analysis of Systems - 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I
DOI arXiv Artefact BibTeX
TACASA
Distinguished Paper
SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning
Jan Křetínský, Tobias Meggendorfer, Maximilian Prokop, and Ashkan Zarkhah
In Tools and Algorithms for the Construction and Analysis of Systems - 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I
DOI arXiv Artefact BibTeX
Solving Robust Markov Decision Processes: Generic, Reliable, Efficient
Tobias Meggendorfer, Maximilian Weininger, and Patrick Wienhöft
In AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25 - March 4, 2025, Philadelphia, PA, USA
DOI arXiv Artefact BibTeX
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
In TOOLympics Challenge 2023
DOI arXiv

2024

Certified Policy Verification and Synthesis for MDPs under Distributional Reach-Avoidance Properties
S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, and Đorđe Žikelić
In Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, IJCAI 2024, Jeju, South Korea, August 3-9, 2024
URL arXiv Artefact BibTeX
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
DOI Artefact BibTeX
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
DOI arXiv Artefact GitLab Slides Video BibTeX

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 Artefact 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 Artefact BibTeX
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
DOI arXiv Poster Slides Video Website 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 Artefact 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 Artefact 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 Artefact 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 Artefact 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 Artefact 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 Artefact 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 Artefact 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 Artefact BibTeX

Journal Articles

2025

TheoretiCS
Learning Algorithms for Verification of Markov Decision Processes
Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Křetínský, Marta Kwiatkowska, Tobias Meggendorfer, David Parker, and Mateusz Ujma
TheoretiCS
DOI arXiv BibTeX

2024

Inf. Comput.
Entropic risk for turn-based stochastic games
Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, and Jakob Piribauer
Information and Computation
DOI BibTeX
Quantitative Bounds on Resource Usage of Probabilistic Programs
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, and Đorđe Žikelić
Proceedings of the ACM on Programming Languages
DOI HAL Artefact GitHub BibTeX

2022

Act. Inf.
Index appearance record with preorders
Jan Křetínský, Tobias Meggendorfer, Clara Waldmann, and Maximilian Weininger
Acta Informatica
DOI Artefact 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 Artefact

2013

BSc
The Laplace equation involving measure data
Tobias Meggendorfer
PDF