Tobias Meggendorfer

Identifiers

No identifiers captured yet.

Papers (5)

1. SemML 2.0: Synthesizing Controllers for LTL cs.AI · 2026 · author #2
2. LTL Store: Repository of LTL formulae from literature and case studies cs.LO · 2018 · author #2
3. Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes cs.LO · 2018 · author #2
4. Efficient Strategy Iteration for Mean Payoff in Markov Decision Processes cs.PF · 2017 · author #2
5. Value Iteration for Long-run Average Reward in Markov Decision Processes cs.SY · 2017 · author #5

Mentions

No mention provenance yet.

Frequent Coauthors

• Jan K\v{r}et\'insk\'y 5 shared papers
• Krishnendu Chatterjee 1 shared papers
• Maximilian Prokop 1 shared papers
• Pranav Ashok 1 shared papers
• Przemyslaw Daca 1 shared papers
• Salomon Sickert 1 shared papers