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