Tobias Meggendorfer

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Stopping criteria for value iteration on stochastic games with quantitative objectives	2026-02-27	Paper
Causally deterministic Markov decision processes	2026-02-10	Paper
Learning algorithms for verification of Markov decision processes TheoretiCS	2025-05-06	Paper
Entropic risk for turn-based stochastic games	2024-12-03	Paper
Entropic risk for turn-based stochastic games Information and Computation	2024-12-03	Paper
Algorithms and hardness results for computing cores of Markov chains	2024-09-12	Paper
Anytime guarantees for reachability in uncountable Markov decision processes	2024-08-13	Paper
Faster algorithm for turn-based stochastic games with bounded treewidth	2024-05-14	Paper
Guessing winning policies in LTL synthesis by semantic learning	2024-02-01	Paper
MDPs as distribution transformers: affine invariant synthesis for safety objectives	2024-02-01	Paper
Correct approximation of stationary distributions	2023-12-13	Paper
Owl: a library for \(\omega \)-words, automata, and LTL Automated Technology for Verification and Analysis	2023-07-28	Paper
Of cores: a partial-exploration framework for Markov decision processes	2023-02-03	Paper
Correct Approximation of Stationary Distributions	2023-01-18	Paper
Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs	2022-12-07	Paper
Index appearance record with preorders Acta Informatica	2022-09-26	Paper
Efficient strategy iteration for mean payoff in Markov decision processes Automated Technology for Verification and Analysis	2022-08-12	Paper
Value iteration for long-run average reward in Markov decision processes (available as arXiv preprint)	2022-07-01	Paper
Conditional value-at-risk for reachability and mean payoff in Markov decision processes Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-20	Paper
Of cores: a partial-exploration framework for Markov decision processes (available as arXiv preprint)	2020-11-03	Paper
Of cores: a partial-exploration framework for Markov decision processes	2020-11-03	Paper
Index appearance record for transforming Rabin automata into parity automata Tools and Algorithms for the Construction and Analysis of Systems	2020-08-05	Paper
Semantic labelling and learning for parity game solving in LTL synthesis Automated Technology for Verification and Analysis	2020-07-20	Paper

Research outcomes over time

This page was built for person: Tobias Meggendorfer