| 2026 | CAV | SemML 2.0: Synthesizing Controllers for LTL. | Jan Kretnsk, Tobias Meggendorfer, Maximilian Prokop |
| 2025 | AAAI | Solving Robust Markov Decision Processes: Generic, Reliable, Efficient. | Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhft |
| 2025 | LICS | Multiplicative Rewards in Markovian Models. | Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer |
| 2025 | TACAS | Sound Statistical Model Checking for Probabilities and Expected Rewards. | Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhft |
| 2025 | TACAS | SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning. | Jan Kretnsk, Tobias Meggendorfer, Maximilian Prokop, Ashkan Zarkhah |
| 2024 | CAV | Playing Games with Your PET: Extending the Partial Exploration Tool to Stochastic Games. | Tobias Meggendorfer, Maximilian Weininger |
| 2024 | CONCUR | Causally Deterministic Markov Decision Processes. | S. Akshay, Tobias Meggendorfer, P. S. Thiagarajan |
| 2024 | IJCAI | Certified Policy Verification and Synthesis for MDPs under Distributional Reach-Avoidance Properties. | S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, Dorde Zikelic |
| 2023 | CAV | MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives. | S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, Dorde Zikelic |
| 2023 | CAV | Guessing Winning Policies in LTL Synthesis by Semantic Learning. | Jan Kretnsk, Tobias Meggendorfer, Maximilian Prokop, Sabine Rieder |
| 2023 | ECAI | Reachability Poorman Discrete-Bidding Games. | Guy Avni, Tobias Meggendorfer, Suman Sadhukhan, Josef Tkadlec, Dorde Zikelic |
| 2023 | LICS | Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives. | Jan Kretnsk, Tobias Meggendorfer, Maximilian Weininger |
| 2023 | MFCS | Entropic Risk for Turn-Based Stochastic Games. | Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer |
| 2023 | SODA | Faster Algorithm for Turn-based Stochastic Games with Bounded Treewidth. | Krishnendu Chatterjee, Tobias Meggendorfer, Raimundo Saona, Jakub Svoboda |
| 2023 | TACAS | Correct Approximation of Stationary Distributions. | Tobias Meggendorfer |
| 2022 | AAAI | Risk-Aware Stochastic Shortest Path. | Tobias Meggendorfer |
| 2022 | ATVA | PET - A Partial Exploration Tool for Probabilistic Verification. | Tobias Meggendorfer |
| 2022 | CAV | Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs. | Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Dorde Zikelic |
| 2022 | CONCUR | Anytime Guarantees for Reachability in Uncountable Markov Decision Processes. | Kush Grover, Jan Kretnsk, Tobias Meggendorfer, Maximilian Weininger |
| 2019 | ATVA | Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis. | Jan Kretnsk, Alexander Manta, Tobias Meggendorfer |
| 2019 | CONCUR | Of Cores: A Partial-Exploration Framework for Markov Decision Processes. | Jan Kretnsk, Tobias Meggendorfer |
| 2018 | ATVA | Owl: A Library for ω-Words, Automata, and LTL. | Jan Kretnsk, Tobias Meggendorfer, Salomon Sickert |
| 2018 | CAV | Rabinizer 4: From LTL to Your Favourite Deterministic Automaton. | Jan Kretnsk, Tobias Meggendorfer, Salomon Sickert, Christopher Ziegler |
| 2018 | LICS | Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes. | Jan Kretnsk, Tobias Meggendorfer |
| 2017 | ATVA | Efficient Strategy Iteration for Mean Payoff in Markov Decision Processes. | Jan Kretnsk, Tobias Meggendorfer |
| 2017 | CAV | Value Iteration for Long-Run Average Reward in Markov Decision Processes. | Pranav Ashok, Krishnendu Chatterjee, Przemyslaw Daca, Jan Kretnsk, Tobias Meggendorfer |
| 2017 | TACAS | Index Appearance Record for Transforming Rabin Automata into Parity Automata. | Jan Kretnsk, Tobias Meggendorfer, Clara Waldmann, Maximilian Weininger |