Ernst Moritz Hahn

Identifiers

• name variant Ernst Moritz Hahn 0.60 · backfill

Papers (9)

1. Omega-Regular Objectives in Model-Free Reinforcement Learning cs.LO · 2018 · author #1
2. Accelerated Model Checking of Parametric Markov Chains cs.LO · 2018 · author #2
3. Incremental Verification of Parametric and Reconfigurable Markov Chains cs.LO · 2018 · author #2
4. Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes cs.SY · 2017 · author #1
5. Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games cs.LO · 2016 · author #1
6. Efficient Algorithms for Time- and Cost-Bounded Probabilistic Model Checking cs.LO · 2016 · author #1
7. An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties cs.LO · 2016 · author #4
8. Lazy Probabilistic Model Checking without Determinisation cs.LO · 2013 · author #1
9. Transient Reward Approximation for Continuous-Time Markov Chains cs.LO · 2012 · author #1

Mentions

• 1311.2928 #1 · backfill · confidence 0.70 Ernst Moritz Hahn
• 1212.1251 #1 · backfill · confidence 0.70 Ernst Moritz Hahn

Frequent Coauthors

• Sven Schewe 5 shared papers
• Andrea Turrini 4 shared papers
• Lijun Zhang 3 shared papers
• Holger Hermanns 2 shared papers
• Paul Gainer 2 shared papers
• Arnd Hartmanns 1 shared papers
• Ashutosh Trivedi 1 shared papers
• Bernd Becker 1 shared papers
• Dominik Wojtczak 1 shared papers
• Fabio Somenzi 1 shared papers
• Guangyuan Li 1 shared papers
• Mateo Perez 1 shared papers
• Morteza Lahijanian 1 shared papers
• Ralf Wimmer 1 shared papers
• Vahid Hashemi 1 shared papers
• Wanwei Liu 1 shared papers
• Yong Li 1 shared papers