Ernst Moritz Hahn

Available identifiers

zbMath Open hahn.ernst-moritzMaRDI QIDQ389834

List of research outcomes

Publication	Date of Publication	Type
Interval Markov decision processes with multiple objectives: from robust strategies to Pareto curves	2024-09-08	Paper
Omega-Regular Objectives in Model-Free Reinforcement Learning	2023-11-24	Paper
\textsf{PFL}: a probabilistic logic for fault trees	2023-08-17	Paper
Accelerated model checking of parametric Markov chains	2023-07-28	Paper
Incremental Verification of Parametric and Reconfigurable Markov Chains	2023-06-28	Paper
An impossibility result in automata-theoretic reinforcement learning	2023-06-02	Paper
Alternating good-for-MDPs automata	2023-06-02	Paper
Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives	2023-04-21	Paper
Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives	2022-12-22	Paper
Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs	2022-11-04	Paper
Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning	2022-10-13	Paper
Model-Free Reinforcement Learning for Stochastic Parity Games	2022-07-18	Paper
Model-free reinforcement learning for branching Markov decision processes	2022-03-25	Paper
The marriage between safety and cybersecurity: still practicing	2022-03-24	Paper
Model Checking Omega-regular Properties for Quantum Markov Chains	2020-05-27	Paper
Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes	2019-09-17	Paper
A Simple Algorithm for Solving Qualitative Probabilistic Parity Games	2019-05-03	Paper
A comparison of time- and reward-bounded probabilistic model checking techniques	2018-08-16	Paper
An efficient synthesis algorithm for parametric Markov chains against linear time properties	2018-08-16	Paper
Exploiting robust optimization for interval probabilistic bisimulation	2018-01-11	Paper
Lazy probabilistic model checking without determinisation	2017-09-12	Paper
Computing Cumulative Rewards Using Fast Adaptive Uniformization	2017-06-30	Paper
Measurability and safety verification for stochastic hybrid systems	2017-05-16	Paper
Rewarding probabilistic hybrid automata	2017-05-16	Paper
Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games	2017-02-21	Paper
CCMC: A Conditional CSL Model Checker for Continuous-Time Markov Chains	2014-07-08	Paper
A compositional modelling and analysis framework for stochastic hybrid systems	2014-06-30	Paper
Safety verification for probabilistic hybrid systems	2014-01-21	Paper
Model checking for performability	2013-08-26	Paper
Variable Probabilistic Abstraction Refinement	2012-11-21	Paper
Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains	2010-02-05	Paper
Model Checking CSL for Markov Population Models	N/A	Paper

Research outcomes over time

This page was built for person: Ernst Moritz Hahn