Ernst Moritz Hahn

Available identifiers

zbMath Open hahn.ernst-moritzMaRDI QIDQ389834

List of research outcomes

Publication	Date of Publication	Type
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	0001-01-03	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: Ernst Moritz Hahn