Tobias Meggendorfer

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 48

Top Topics

Stochastic Games

Stopping Criteria

Markov Decision Process

Top Venues

Publications

Tobias Meggendorfer, Maximilian Weininger
Playing Games with Your PET: Extending the Partial Exploration Tool to Stochastic Games. CAV (3) (2024)
Tobias Meggendorfer, Maximilian Weininger
Playing Games with your PET: Extending the Partial Exploration Tool to Stochastic Games. CoRR (2024)
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Dorde Zikelic
Quantitative Bounds on Resource Usage of Probabilistic Programs. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Kwiatkowska, Tobias Meggendorfer, David Parker, Mateusz Ujma
Learning Algorithms for Verification of Markov Decision Processes. CoRR (2024)
S. Akshay, Tobias Meggendorfer, P. S. Thiagarajan
Causally Deterministic Markov Decision Processes. CONCUR (2024)
Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer
Entropic risk for turn-based stochastic games. Inf. Comput. 301 (2024)
S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, Dorde Zikelic
Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties. CoRR (2024)
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 Kretínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, Zhen Zhang
Tools at the Frontiers of Quantitative Verification. CoRR (2024)
Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
What Are the Odds? Improving the foundations of Statistical Model Checking. CoRR (2024)
Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger
Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives. LICS (2023)
S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, Dorde Zikelic
MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives. CAV (3) (2023)
Tobias Meggendorfer
Correct Approximation of Stationary Distributions. CoRR (2023)
Krishnendu Chatterjee, Tobias Meggendorfer, Raimundo Saona, Jakub Svoboda
Faster Algorithm for Turn-based Stochastic Games with Bounded Treewidth. SODA (2023)
Tobias Meggendorfer
Correct Approximation of Stationary Distributions. TACAS (1) (2023)
Jan Kretínský, Tobias Meggendorfer, Maximilian Prokop, Sabine Rieder
Guessing Winning Policies in LTL Synthesis by Semantic Learning. CoRR (2023)
Guy Avni, Tobias Meggendorfer, Suman Sadhukhan, Josef Tkadlec, Dorde Zikelic
Reachability Poorman Discrete-Bidding Games. CoRR (2023)
Guy Avni, Tobias Meggendorfer, Suman Sadhukhan, Josef Tkadlec, Ðorde Zikelic
Reachability Poorman Discrete-Bidding Games. ECAI (2023)
Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer
Entropic Risk for Turn-Based Stochastic Games. CoRR (2023)
S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, Dorde Zikelic
MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives. CoRR (2023)
Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer
Entropic Risk for Turn-Based Stochastic Games. MFCS (2023)
Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger
Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives. CoRR (2023)
Jan Kretínský, Tobias Meggendorfer, Maximilian Prokop, Sabine Rieder
Guessing Winning Policies in LTL Synthesis by Semantic Learning. CAV (1) (2023)
Jan Kretínský, Tobias Meggendorfer, Clara Waldmann, Maximilian Weininger
Index appearance record with preorders. Acta Informatica 59 (5) (2022)
Tobias Meggendorfer
Risk-Aware Stochastic Shortest Path. AAAI (2022)
Tobias Meggendorfer
Risk-aware Stochastic Shortest Path. CoRR (2022)
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Dorde Zikelic
Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs. CAV (1) (2022)
Tobias Meggendorfer
PET - A Partial Exploration Tool for Probabilistic Verification. ATVA (2022)
Kush Grover, Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger
Anytime Guarantees for Reachability in Uncountable Markov Decision Processes. CONCUR (2022)
Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger
Satisfiability Bounds for ω-Regular Properties in Bounded-Parameter Markov Decision Processes. CoRR (2022)
Ali Ahmadi, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Roodabeh Safavi, Ðorde Zikelic
Algorithms and Hardness Results for Computing Cores of Markov Chains. FSTTCS (2022)
Kush Grover, Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger
An Anytime Algorithm for Reachability on Uncountable MDP. CoRR (2020)
Jan Kretínský, Tobias Meggendorfer
Of Cores: A Partial-Exploration Framework for Markov Decision Processes. Log. Methods Comput. Sci. 16 (4) (2020)
Jan Kretínský, Alexander Manta, Tobias Meggendorfer
Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis. CoRR (2019)
Jan Kretínský, Tobias Meggendorfer
Of Cores: A Partial-Exploration Framework for Markov Decision Processes. CoRR (2019)
Jan Kretínský, Tobias Meggendorfer
Of Cores: A Partial-Exploration Framework for Markov Decision Processes. CONCUR (2019)
Jan Kretínský, Alexander Manta, Tobias Meggendorfer
Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis. ATVA (2019)
Maximilian Weininger, Tobias Meggendorfer, Jan Kretínský
Satisfiability Bounds for ω-Regular Properties in Bounded-Parameter Markov Decision Processes. CDC (2019)
Jan Kretínský, Tobias Meggendorfer, Salomon Sickert
Owl: A Library for ω-Words, Automata, and LTL. ATVA (2018)
Jan Kretínský, Tobias Meggendorfer, Salomon Sickert, Christopher Ziegler
Rabinizer 4: From LTL to Your Favourite Deterministic Automaton. CAV (1) (2018)
Jan Kretínský, Tobias Meggendorfer
Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes. CoRR (2018)
Jan Kretínský, Tobias Meggendorfer, Salomon Sickert
LTL Store: Repository of LTL formulae from literature and case studies. CoRR (2018)
Jan Kretínský, Tobias Meggendorfer
Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes. LICS (2018)
Jan Kretínský, Tobias Meggendorfer, Clara Waldmann, Maximilian Weininger
Index appearance record for transforming Rabin automata into parity automata. CoRR (2017)
Jan Kretínský, Tobias Meggendorfer, Clara Waldmann, Maximilian Weininger
Index Appearance Record for Transforming Rabin Automata into Parity Automata. TACAS (1) (2017)
Pranav Ashok, Krishnendu Chatterjee, Przemyslaw Daca, Jan Kretínský, Tobias Meggendorfer
Value Iteration for Long-run Average Reward in Markov Decision Processes. CoRR (2017)
Pranav Ashok, Krishnendu Chatterjee, Przemyslaw Daca, Jan Kretínský, Tobias Meggendorfer
Value Iteration for Long-Run Average Reward in Markov Decision Processes. CAV (1) (2017)
Jan Kretínský, Tobias Meggendorfer
Efficient Strategy Iteration for Mean Payoff in Markov Decision Processes. ATVA (2017)
Jan Kretínský, Tobias Meggendorfer
Efficient Strategy Iteration for Mean Payoff in Markov Decision Processes. CoRR (2017)