Tobias Meggendorfer

64 papers A* 7A 1B 8Journal 31Unranked 15
YearRankTypeTitle / Venue / Authors
2025 J jnl
Learning Algorithms for Verification of Markov Decision Processes.
TheoretiCS
Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Kwiatkowska, Tobias Meggendorfer, David Parker, Mateusz Ujma
2025 A* conf
Multiplicative Rewards in Markovian Models.
LICS
Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer
2025 J jnl
Multiplicative Rewards in Markovian Models.
CoRR
Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer
2025 — conf
SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning.
TACAS (1)
Jan Kretínský, Tobias Meggendorfer, Maximilian Prokop, Ashkan Zarkhah
2025 J jnl
SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning.
CoRR
Jan Kretínský, Tobias Meggendorfer, Maximilian Prokop, Ashkan Zarkhah
2025 A* conf
Solving Robust Markov Decision Processes: Generic, Reliable, Efficient.
AAAI
Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
2025 — conf
Sound Statistical Model Checking for Probabilities and Expected Rewards.
TACAS (1)
Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
2025 J jnl
Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality (extended version).
CoRR
Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
2025 — conf
Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality.
QEST+FORMATS
Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
2025 — conf
What Are the Odds? Improving Statistical Model Checking of Markov Decision Processes.
QEST+FORMATS
Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
2024 B conf
Causally Deterministic Markov Decision Processes.
CONCUR
S. Akshay, Tobias Meggendorfer, P. S. Thiagarajan
2024 A* conf
Certified Policy Verification and Synthesis for MDPs under Distributional Reach-Avoidance Properties.
IJCAI
S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, Dorde Zikelic
2024 J jnl
Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties.
CoRR
S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, Dorde Zikelic
2024 J jnl
Entropic risk for turn-based stochastic games.
Inf. Comput.
Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer
2024 J jnl
Learning Algorithms for Verification of Markov Decision Processes.
CoRR
Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Kwiatkowska, Tobias Meggendorfer, David Parker, Mateusz Ujma
2024 — conf
Playing Games with Your PET: Extending the Partial Exploration Tool to Stochastic Games.
CAV (3)
Tobias Meggendorfer, Maximilian Weininger
2024 J jnl
Playing Games with your PET: Extending the Partial Exploration Tool to Stochastic Games.
CoRR
Tobias Meggendorfer, Maximilian Weininger
2024 J jnl
Quantitative Bounds on Resource Usage of Probabilistic Programs.
Proc. ACM Program. Lang.
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Dorde Zikelic
2024 J jnl
Solving Robust Markov Decision Processes: Generic, Reliable, Efficient.
CoRR
Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
2024 J jnl
Sound Statistical Model Checking for Probabilities and Expected Rewards.
CoRR
Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
2024 J jnl
Tools at the Frontiers of Quantitative Verification.
CoRR
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
2024 J jnl
What Are the Odds? Improving the foundations of Statistical Model Checking.
CoRR
Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
2023 — conf
Correct Approximation of Stationary Distributions.
TACAS (1)
Tobias Meggendorfer
2023 J jnl
Correct Approximation of Stationary Distributions.
CoRR
Tobias Meggendorfer
2023 B conf
Entropic Risk for Turn-Based Stochastic Games.
MFCS
Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer
2023 J jnl
Entropic Risk for Turn-Based Stochastic Games.
CoRR
Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer
2023 A* conf
Faster Algorithm for Turn-based Stochastic Games with Bounded Treewidth.
SODA
Krishnendu Chatterjee, Tobias Meggendorfer, Raimundo Saona, Jakub Svoboda
2023 — conf
Guessing Winning Policies in LTL Synthesis by Semantic Learning.
CAV (1)
Jan Kretínský, Tobias Meggendorfer, Maximilian Prokop, Sabine Rieder
2023 J jnl
Guessing Winning Policies in LTL Synthesis by Semantic Learning.
CoRR
Jan Kretínský, Tobias Meggendorfer, Maximilian Prokop, Sabine Rieder
2023 — conf
MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives.
CAV (3)
S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, Dorde Zikelic
2023 J jnl
MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives.
CoRR
S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, Dorde Zikelic
2023 A conf
Reachability Poorman Discrete-Bidding Games.
ECAI
Guy Avni, Tobias Meggendorfer, Suman Sadhukhan, Josef Tkadlec, Dorde Zikelic
2023 J jnl
Reachability Poorman Discrete-Bidding Games.
CoRR
Guy Avni, Tobias Meggendorfer, Suman Sadhukhan, Josef Tkadlec, Dorde Zikelic
2023 A* conf
Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives.
LICS
Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger
2023 J jnl
Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives.
CoRR
Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger
2023 — conf
Tools at the Frontiers of Quantitative Verification - QComp 2023 Competition Report.
TOOLympics@ETAPS
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
2022 — conf
Algorithms and Hardness Results for Computing Cores of Markov Chains.
FSTTCS
Ali Ahmadi, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Roodabeh Safavi, Dorde Zikelic
2022 B conf
Anytime Guarantees for Reachability in Uncountable Markov Decision Processes.
CONCUR
Kush Grover, Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger
2022 J jnl
Index appearance record with preorders.
Acta Informatica
Jan Kretínský, Tobias Meggendorfer, Clara Waldmann, Maximilian Weininger
2022 B conf
PET - A Partial Exploration Tool for Probabilistic Verification.
ATVA
Tobias Meggendorfer
2022 A* conf
Risk-Aware Stochastic Shortest Path.
AAAI
Tobias Meggendorfer
2022 J jnl
Risk-aware Stochastic Shortest Path.
CoRR
Tobias Meggendorfer
2022 J jnl
Satisfiability Bounds for ω-Regular Properties in Bounded-Parameter Markov Decision Processes.
CoRR
Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger
2022 — conf
Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs.
CAV (1)
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Dorde Zikelic
2021 — —
Verification of Discrete-Time Markov Decision Processes.
Tobias Meggendorfer
2021 — ch.
Verifikation von Markov Entscheidungsprozessen in diskreter Zeit.
Ausgezeichnete Informatikdissertationen
Tobias Meggendorfer
2020 J jnl
An Anytime Algorithm for Reachability on Uncountable MDP.
CoRR
Kush Grover, Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger
2020 J jnl
Of Cores: A Partial-Exploration Framework for Markov Decision Processes.
Log. Methods Comput. Sci.
Jan Kretínský, Tobias Meggendorfer
2019 B conf
Of Cores: A Partial-Exploration Framework for Markov Decision Processes.
CONCUR
Jan Kretínský, Tobias Meggendorfer
2019 J jnl
Of Cores: A Partial-Exploration Framework for Markov Decision Processes.
CoRR
Jan Kretínský, Tobias Meggendorfer
2019 — conf
Satisfiability Bounds for ω-Regular Properties in Bounded-Parameter Markov Decision Processes.
CDC
Maximilian Weininger, Tobias Meggendorfer, Jan Kretínský
2019 B conf
Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis.
ATVA
Jan Kretínský, Alexander Manta, Tobias Meggendorfer
2019 J jnl
Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis.
CoRR
Jan Kretínský, Alexander Manta, Tobias Meggendorfer
2018 A* conf
Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes.
LICS
Jan Kretínský, Tobias Meggendorfer
2018 J jnl
Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes.
CoRR
Jan Kretínský, Tobias Meggendorfer
2018 J jnl
LTL Store: Repository of LTL formulae from literature and case studies.
CoRR
Jan Kretínský, Tobias Meggendorfer, Salomon Sickert
2018 B conf
Owl: A Library for ω-Words, Automata, and LTL.
ATVA
Jan Kretínský, Tobias Meggendorfer, Salomon Sickert
2018 — conf
Rabinizer 4: From LTL to Your Favourite Deterministic Automaton.
CAV (1)
Jan Kretínský, Tobias Meggendorfer, Salomon Sickert, Christopher Ziegler
2017 B conf
Efficient Strategy Iteration for Mean Payoff in Markov Decision Processes.
ATVA
Jan Kretínský, Tobias Meggendorfer
2017 J jnl
Efficient Strategy Iteration for Mean Payoff in Markov Decision Processes.
CoRR
Jan Kretínský, Tobias Meggendorfer
2017 — conf
Index Appearance Record for Transforming Rabin Automata into Parity Automata.
TACAS (1)
Jan Kretínský, Tobias Meggendorfer, Clara Waldmann, Maximilian Weininger
2017 J jnl
Index appearance record for transforming Rabin automata into parity automata.
CoRR
Jan Kretínský, Tobias Meggendorfer, Clara Waldmann, Maximilian Weininger
2017 — conf
Value Iteration for Long-Run Average Reward in Markov Decision Processes.
CAV (1)
Pranav Ashok, Krishnendu Chatterjee, Przemyslaw Daca, Jan Kretínský, Tobias Meggendorfer
2017 J jnl
Value Iteration for Long-run Average Reward in Markov Decision Processes.
CoRR
Pranav Ashok, Krishnendu Chatterjee, Przemyslaw Daca, Jan Kretínský, Tobias Meggendorfer