Ernst Moritz Hahn

Ernst Moritz Hahn

Universiteit Twente

H-index: 26

Europe-Netherlands

About Ernst Moritz Hahn

Ernst Moritz Hahn, With an exceptional h-index of 26 and a recent h-index of 19 (since 2020), a distinguished researcher at Universiteit Twente, specializes in the field of formal methods, stochastic model checking.

His recent articles reflect a diverse array of research interests and contributions to the field:

Alternating Good-for-MDP Automata

EPMC Gets Knowledge in Multi-agent Systems

Reinforcement Learning with Guarantees that Hold for Ever

An impossibility result in automata-theoretic reinforcement learning

BFL: a Logic to Reason about Fault Trees

Model-Free Reinforcement Learning for Branching Markov Decision Processes

The Marriage Between Safety and Cybersecurity: Still Practicing

Mungojerrie: Reinforcement Learning of Linear-Time Objectives

Ernst Moritz Hahn Information

University

Position

___

Citations(all)

2750

Citations(since 2020)

1270

Cited By

2030

hIndex(all)

26

hIndex(since 2020)

19

i10Index(all)

39

i10Index(since 2020)

29

Email

University Profile Page

Universiteit Twente

Google Scholar

View Google Scholar Profile

Ernst Moritz Hahn Skills & Research Interests

formal methods

stochastic model checking

Top articles of Ernst Moritz Hahn

Title

Journal

Author(s)

Publication Date

Alternating Good-for-MDP Automata

arXiv preprint arXiv:2205.03243

Ernst Moritz Hahn

Mateo Perez

Sven Schewe

Fabio Somenzi

Ashutosh Trivedi

...

2022/5/6

EPMC Gets Knowledge in Multi-agent Systems

Chen Fu

Ernst Moritz Hahn

Yong Li

Sven Schewe

Meng Sun

...

2022/1/14

Reinforcement Learning with Guarantees that Hold for Ever

Ernst Moritz Hahn

Mateo Perez

Sven Schewe

Fabio Somenzi

Ashutosh Trivedi

...

2022/9/5

An impossibility result in automata-theoretic reinforcement learning

Ernst Moritz Hahn

Mateo Perez

Sven Schewe

Fabio Somenzi

Ashutosh Trivedi

...

2022/10/21

BFL: a Logic to Reason about Fault Trees

Stefano M. Nicoletti

E. Moritz Hahn

Marielle Stoelinga

2022

Model-Free Reinforcement Learning for Branching Markov Decision Processes

Ernst Moritz Hahn

Mateo Perez

Sven Schewe

Fabio Somenzi

Ashutosh Trivedi

...

2021/7/15

The Marriage Between Safety and Cybersecurity: Still Practicing

Marielle Stoelinga

Christina Kolb

Stefano Maria Nicoletti

Carlos Esteban Budde

Ernst Moritz Hahn

2021/8/3

Mungojerrie: Reinforcement Learning of Linear-Time Objectives

arXiv preprint arXiv:2106.09161

Ernst Moritz Hahn

Mateo Perez

Sven Schewe

Fabio Somenzi

Ashutosh Trivedi

...

2021/6/16

Model-free reinforcement learning for lexicographic omega-regular objectives

Ernst Moritz Hahn

Mateo Perez

Sven Schewe

Fabio Somenzi

Ashutosh Trivedi

...

2021/11/10

Good-for-MDPs automata for probabilistic analysis and reinforcement learning

Ernst Moritz Hahn

Mateo Perez

Sven Schewe

Fabio Somenzi

Ashutosh Trivedi

...

2020/4/17

Reward Shaping for Reinforcement Learning with Omega-Regular Objectives

arXiv preprint arXiv:2001.05977

Ernst M Hahn

Mateo Perez

Sven Schewe

Fabio Somenzi

Ashutosh Trivedi

...

2020/1/16

Symblicit Exploration and Elimination for Probabilistic Model Checking

Ernst Moritz Hahn

Arnd Hartmanns

2021/3/22

Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives

Ernst Moritz Hahn

Mateo Perez

Sven Schewe

Fabio Somenzi

Ashutosh Trivedi

...

2020

Probabilistic Preference Planning Problem for Markov Decision Processes

IEEE transactions on software engineering

Meilun Li

Andrea Turrini

Ernst Moritz Hahn

Zhikun She

Lijun Zhang

2020/9/15

See List of Professors in Ernst Moritz Hahn University(Universiteit Twente)

Co-Authors

H-index: 75
Marta Kwiatkowska

Marta Kwiatkowska

University of Oxford

H-index: 59
David Parker

David Parker

University of Birmingham

H-index: 56
Holger Hermanns

Holger Hermanns

Universität des Saarlandes

H-index: 51
Bernd Becker

Bernd Becker

Albert-Ludwigs-Universität Freiburg

H-index: 41
Marielle Stoelinga

Marielle Stoelinga

Universiteit Twente

H-index: 30
Martin Fränzle

Martin Fränzle

Carl von Ossietzky Universität Oldenburg

academic-engine