Efficient Strategy Iteration for Mean Payoff in Markov Decision Processes. - Jan Kretínský; Tobias Meggendorfer (ATVA, 2017)

Value Iteration for Long-Run Average Reward in Markov Decision Processes. - Pranav Ashok; Krishnendu Chatterjee; Przemyslaw Daca; Jan Kretínský; Tobias Meggendorfer (CAV (1), 2017)

Index Appearance Record for Transforming Rabin Automata into Parity Automata. - Jan Kretínský; Tobias Meggendorfer; Clara Waldmann; Maximilian Weininger (TACAS (1), 2017)

Owl: A Library for ω-Words, Automata, and LTL. - Jan Kretínský; Tobias Meggendorfer; Salomon Sickert (ATVA, 2018)

Rabinizer 4: From LTL to Your Favourite Deterministic Automaton. - Jan Kretínský; Tobias Meggendorfer; Salomon Sickert; Christopher Ziegler (CAV (1), 2018)

Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes. - Jan Kretínský; Tobias Meggendorfer (LICS, 2018)

LTL Store: Repository of LTL formulae from literature and case studies. - Jan Kretínský; Tobias Meggendorfer; Salomon Sickert (CoRR, 2018)

Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis. - Jan Kretínský; Alexander Manta 001; Tobias Meggendorfer (ATVA, 2019)

Satisfiability Bounds for ω-Regular Properties in Bounded-Parameter Markov Decision Processes. - Maximilian Weininger; Tobias Meggendorfer; Jan Kretínský (CDC, 2019)

Artefact for paper: Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis. - Jan Kretínský; Alexander Manta 001; Tobias Meggendorfer (Zenodo, 2019)

Artefact for paper: Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis. - Jan Kretínský; Alexander Manta 001; Tobias Meggendorfer (Zenodo, 2019)

An Anytime Algorithm for Reachability on Uncountable MDP. - Kush Grover; Jan Kretínský; Tobias Meggendorfer; Maximilian Weininger (CoRR, 2020)

Of Cores: A Partial-Exploration Framework for Markov Decision Processes. - Jan Kretínský; Tobias Meggendorfer (Log. Methods Comput. Sci., 2020)

Verification of Discrete-Time Markov Decision Processes. - Tobias Meggendorfer (2021)

Verifikation von Markov Entscheidungsprozessen in diskreter Zeit. - Tobias Meggendorfer (Ausgezeichnete Informatikdissertationen, 2021)

Risk-Aware Stochastic Shortest Path. - Tobias Meggendorfer (AAAI, 2022)

PET - A Partial Exploration Tool for Probabilistic Verification. - Tobias Meggendorfer (ATVA, 2022)

Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs. - Krishnendu Chatterjee; Amir Kafshdar Goharshady; Tobias Meggendorfer; Dorde Zikelic (CAV (1), 2022)

Anytime Guarantees for Reachability in Uncountable Markov Decision Processes. - Kush Grover; Jan Kretínský; Tobias Meggendorfer; Maximilian Weininger (CONCUR, 2022)

Algorithms and Hardness Results for Computing Cores of Markov Chains. - Ali Ahmadi; Krishnendu Chatterjee; Amir Kafshdar Goharshady; Tobias Meggendorfer; Roodabeh Safavi; Dorde Zikelic (FSTTCS, 2022)

Index appearance record with preorders. - Jan Kretínský; Tobias Meggendorfer; Clara Waldmann; Maximilian Weininger (Acta Informatica, 2022)

MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives. - S. Akshay 001; Krishnendu Chatterjee; Tobias Meggendorfer; Dorde Zikelic (CAV (3), 2023)

Guessing Winning Policies in LTL Synthesis by Semantic Learning. - Jan Kretínský; Tobias Meggendorfer; Maximilian Prokop; Sabine Rieder (CAV (1), 2023)

Reachability Poorman Discrete-Bidding Games. - Guy Avni; Tobias Meggendorfer; Suman Sadhukhan; Josef Tkadlec; Dorde Zikelic (ECAI, 2023)

Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives. - Jan Kretínský; Tobias Meggendorfer; Maximilian Weininger (LICS, 2023)

Faster Algorithm for Turn-based Stochastic Games with Bounded Treewidth. - Krishnendu Chatterjee; Tobias Meggendorfer; Raimundo Saona; Jakub Svoboda (SODA, 2023)

Correct Approximation of Stationary Distributions. - Tobias Meggendorfer (TACAS (1), 2023)

Tools at the Frontiers of Quantitative Verification - QComp 2023 Competition Report. - Roman Andriushchenko; Alexander Bork; Carlos E. Budde; Milan Ceska 002; Kush Grover; Ernst Moritz Hahn; Arnd Hartmanns; Bryant Israelsen; Nils Jansen 001; Joshua Jeppson; Sebastian Junges; Maximilian A. Köhl; et al. (TOOLympics@ETAPS, 2023)

Playing Games with Your PET: Extending the Partial Exploration Tool to Stochastic Games. - Tobias Meggendorfer; Maximilian Weininger (CAV (3), 2024)

Causally Deterministic Markov Decision Processes. - S. Akshay 001; Tobias Meggendorfer; P. S. Thiagarajan (CONCUR, 2024)

Certified Policy Verification and Synthesis for MDPs under Distributional Reach-Avoidance Properties. - S. Akshay 001; Krishnendu Chatterjee; Tobias Meggendorfer; Dorde Zikelic (IJCAI, 2024)

What Are the Odds? Improving the foundations of Statistical Model Checking. - Tobias Meggendorfer; Maximilian Weininger; Patrick Wienhöft (CoRR, 2024)

Tools at the Frontiers of Quantitative Verification. - Roman Andriushchenko; Alexander Bork; Carlos E. Budde; Milan Ceska 002; Kush Grover; Ernst Moritz Hahn; Arnd Hartmanns; Bryant Israelsen; Nils Jansen 001; Joshua Jeppson; Sebastian Junges; Maximilian A. Köhl; et al. (CoRR, 2024)

Entropic risk for turn-based stochastic games. - Christel Baier; Krishnendu Chatterjee; Tobias Meggendorfer; Jakob Piribauer (Inf. Comput., 2024)

Quantitative Bounds on Resource Usage of Probabilistic Programs. - Krishnendu Chatterjee; Amir Kafshdar Goharshady; Tobias Meggendorfer; Dorde Zikelic (Proc. ACM Program. Lang., 2024)

Solving Robust Markov Decision Processes: Generic, Reliable, Efficient. - Tobias Meggendorfer; Maximilian Weininger; Patrick Wienhöft (AAAI, 2025)

Sound Statistical Model Checking for Probabilities and Expected Rewards. - Carlos E. Budde; Arnd Hartmanns; Tobias Meggendorfer; Maximilian Weininger; Patrick Wienhöft (TACAS (1), 2025)

SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning. - Jan Kretínský; Tobias Meggendorfer; Maximilian Prokop; Ashkan Zarkhah (TACAS (1), 2025)

Learning Algorithms for Verification of Markov Decision Processes. - Tomás Brázdil; Krishnendu Chatterjee; Martin Chmelik; Vojtech Forejt; Jan Kretínský; Marta Kwiatkowska; Tobias Meggendorfer; David Parker 001; Mateusz Ujma (TheoretiCS, 2025)

Multiplicative Rewards in Markovian Models. - Christel Baier; Krishnendu Chatterjee; Tobias Meggendorfer; Jakob Piribauer (CoRR, 2025)