Tobias Meggendorfer

Available identifiers

zbMath Open meggendorfer.tobiasMaRDI QIDQ2151246

List of research outcomes

Publication	Date of Publication	Type
Owl: a library for \(\omega \)-words, automata, and LTL	2023-07-28	Paper
https://portal.mardi4nfdi.de/entity/Q5875366	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	2022-09-26	Paper
Efficient Strategy Iteration for Mean Payoff in Markov Decision Processes	2022-08-12	Paper
Value iteration for long-run average reward in Markov decision processes	2022-07-01	Paper
Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes	2021-01-20	Paper
https://portal.mardi4nfdi.de/entity/Q5129946	2020-11-03	Paper
Index Appearance Record for Transforming Rabin Automata into Parity Automata	2020-08-05	Paper
Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis	2020-07-20	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Tobias Meggendorfer