×
Author ID: hahn.ernst-moritz Recent zbMATH articles by "Hahn, Ernst Moritz"
Published as: Hahn, Ernst Moritz; Hahn, E. Moritz; Hahn, E. M.
Homepage: http://iscasmc.ios.ac.cn/?page_id=71
Documents Indexed: 30 Publications since 2009
Co-Authors: 36 Co-Authors with 30 Joint Publications
1,100 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

22 Publications have been cited 121 times in 82 Documents Cited by Year
A compositional modelling and analysis framework for stochastic hybrid systems. Zbl 1291.68293
Hahn, Ernst Moritz; Hartmanns, Arnd; Hermanns, Holger; Katoen, Joost-Pieter
18
2013
Measurability and safety verification for stochastic hybrid systems. Zbl 1362.68170
Fränzle, Martin; Hahn, Ernst Moritz; Hermanns, Holger; Wolovick, Nicolás; Zhang, Lijun
17
2011
Lazy probabilistic model checking without determinisation. Zbl 1374.68290
Hahn, Ernst Moritz; Li, Guangyuan; Schewe, Sven; Turrini, Andrea; Zhang, Lijun
13
2015
Faithful and effective reward schemes for model-free reinforcement learning of omega-regular objectives. Zbl 1517.68331
Hahn, Ernst Moritz; Perez, Mateo; Schewe, Sven; Somenzi, Fabio; Trivedi, Ashutosh; Wojtczak, Dominik
8
2020
Good-for-MDPs automata for probabilistic analysis and reinforcement learning. Zbl 1507.68167
Hahn, Ernst Moritz; Perez, Mateo; Schewe, Sven; Somenzi, Fabio; Trivedi, Ashutosh; Wojtczak, Dominik
8
2020
Safety verification for probabilistic hybrid systems. Zbl 1291.93294
Zhang, Lijun; She, Zhikun; Ratschan, Stefan; Hermanns, Holger; Hahn, Ernst Moritz
8
2012
Accelerated model checking of parametric Markov chains. Zbl 1517.68235
Gainer, Paul; Hahn, Ernst Moritz; Schewe, Sven
7
2018
Omega-regular objectives in model-free reinforcement learning. Zbl 1527.68177
Hahn, Ernst Moritz; Perez, Mateo; Schewe, Sven; Somenzi, Fabio; Trivedi, Ashutosh; Wojtczak, Dominik
6
2019
Time-bounded model checking of infinite-state continuous-time Markov chains. Zbl 1214.68213
Hahn, E. Moritz; Hermanns, Holger; Wachter, Björn; Zhang, Lijun
5
2009
Multi-objective robust strategy synthesis for interval Markov decision processes. Zbl 1421.90160
Hahn, Ernst Moritz; Hashemi, Vahid; Hermanns, Holger; Lahijanian, Morteza; Turrini, Andrea
4
2017
Model-free reinforcement learning for stochastic parity games. Zbl 07559477
Hahn, Ernst Moritz; Perez, Mateo; Schewe, Sven; Somenzi, Fabio; Trivedi, Ashutosh; Wojtczak, Dominik
4
2020
Computing cumulative rewards using fast adaptive uniformization. Zbl 1369.65014
Dannenberg, Frits; Hahn, Ernst Moritz; Kwiatkowska, Marta
3
2015
Variable probabilistic abstraction refinement. Zbl 1374.68347
Ferrer Fioriti, Luis María; Hahn, Ernst Moritz; Hermanns, Holger; Wachter, Björn
3
2012
Model checking \(\omega\)-regular properties for quantum Markov chains. Zbl 1442.68106
Feng, Yuan; Hahn, Ernst Moritz; Turrini, Andrea; Ying, Shenggang
3
2017
A comparison of time- and reward-bounded probabilistic model checking techniques. Zbl 1393.68104
Hahn, Ernst Moritz; Hartmanns, Arnd
3
2016
Exploiting robust optimization for interval probabilistic bisimulation. Zbl 1377.68132
Hahn, Ernst Moritz; Hashemi, Vahid; Hermanns, Holger; Turrini, Andrea
2
2016
A simple algorithm for solving qualitative probabilistic parity games. Zbl 1411.68068
Hahn, Ernst Moritz; Schewe, Sven; Turrini, Andrea; Zhang, Lijun
2
2016
Model checking for performability. Zbl 1358.68181
Baier, C.; Hahn, E. M.; Haverkort, B. R.; Hermanns, H.; Katoen, J.-P.
2
2013
Polynomial-time alternating probabilistic bisimulation for interval MDPs. Zbl 1498.68187
Hashemi, Vahid; Turrini, Andrea; Hahn, Ernst Moritz; Hermanns, Holger; Elbassioni, Khaled
2
2017
Synthesising strategy improvement and recursive algorithms for solving 2.5 player parity games. Zbl 1484.68141
Hahn, Ernst Moritz; Schewe, Sven; Turrini, Andrea; Zhang, Lijun
1
2017
An efficient synthesis algorithm for parametric Markov chains against linear time properties. Zbl 1393.68107
Li, Yong; Liu, Wanwei; Turrini, Andrea; Hahn, Ernst Moritz; Zhang, Lijun
1
2016
Model-free reinforcement learning for lexicographic omega-regular objectives. Zbl 1521.68121
Hahn, Ernst Moritz; Perez, Mateo; Schewe, Sven; Somenzi, Fabio; Trivedi, Ashutosh; Wojtczak, Dominik
1
2021
Model-free reinforcement learning for lexicographic omega-regular objectives. Zbl 1521.68121
Hahn, Ernst Moritz; Perez, Mateo; Schewe, Sven; Somenzi, Fabio; Trivedi, Ashutosh; Wojtczak, Dominik
1
2021
Faithful and effective reward schemes for model-free reinforcement learning of omega-regular objectives. Zbl 1517.68331
Hahn, Ernst Moritz; Perez, Mateo; Schewe, Sven; Somenzi, Fabio; Trivedi, Ashutosh; Wojtczak, Dominik
8
2020
Good-for-MDPs automata for probabilistic analysis and reinforcement learning. Zbl 1507.68167
Hahn, Ernst Moritz; Perez, Mateo; Schewe, Sven; Somenzi, Fabio; Trivedi, Ashutosh; Wojtczak, Dominik
8
2020
Model-free reinforcement learning for stochastic parity games. Zbl 07559477
Hahn, Ernst Moritz; Perez, Mateo; Schewe, Sven; Somenzi, Fabio; Trivedi, Ashutosh; Wojtczak, Dominik
4
2020
Omega-regular objectives in model-free reinforcement learning. Zbl 1527.68177
Hahn, Ernst Moritz; Perez, Mateo; Schewe, Sven; Somenzi, Fabio; Trivedi, Ashutosh; Wojtczak, Dominik
6
2019
Accelerated model checking of parametric Markov chains. Zbl 1517.68235
Gainer, Paul; Hahn, Ernst Moritz; Schewe, Sven
7
2018
Multi-objective robust strategy synthesis for interval Markov decision processes. Zbl 1421.90160
Hahn, Ernst Moritz; Hashemi, Vahid; Hermanns, Holger; Lahijanian, Morteza; Turrini, Andrea
4
2017
Model checking \(\omega\)-regular properties for quantum Markov chains. Zbl 1442.68106
Feng, Yuan; Hahn, Ernst Moritz; Turrini, Andrea; Ying, Shenggang
3
2017
Polynomial-time alternating probabilistic bisimulation for interval MDPs. Zbl 1498.68187
Hashemi, Vahid; Turrini, Andrea; Hahn, Ernst Moritz; Hermanns, Holger; Elbassioni, Khaled
2
2017
Synthesising strategy improvement and recursive algorithms for solving 2.5 player parity games. Zbl 1484.68141
Hahn, Ernst Moritz; Schewe, Sven; Turrini, Andrea; Zhang, Lijun
1
2017
A comparison of time- and reward-bounded probabilistic model checking techniques. Zbl 1393.68104
Hahn, Ernst Moritz; Hartmanns, Arnd
3
2016
Exploiting robust optimization for interval probabilistic bisimulation. Zbl 1377.68132
Hahn, Ernst Moritz; Hashemi, Vahid; Hermanns, Holger; Turrini, Andrea
2
2016
A simple algorithm for solving qualitative probabilistic parity games. Zbl 1411.68068
Hahn, Ernst Moritz; Schewe, Sven; Turrini, Andrea; Zhang, Lijun
2
2016
An efficient synthesis algorithm for parametric Markov chains against linear time properties. Zbl 1393.68107
Li, Yong; Liu, Wanwei; Turrini, Andrea; Hahn, Ernst Moritz; Zhang, Lijun
1
2016
Lazy probabilistic model checking without determinisation. Zbl 1374.68290
Hahn, Ernst Moritz; Li, Guangyuan; Schewe, Sven; Turrini, Andrea; Zhang, Lijun
13
2015
Computing cumulative rewards using fast adaptive uniformization. Zbl 1369.65014
Dannenberg, Frits; Hahn, Ernst Moritz; Kwiatkowska, Marta
3
2015
A compositional modelling and analysis framework for stochastic hybrid systems. Zbl 1291.68293
Hahn, Ernst Moritz; Hartmanns, Arnd; Hermanns, Holger; Katoen, Joost-Pieter
18
2013
Model checking for performability. Zbl 1358.68181
Baier, C.; Hahn, E. M.; Haverkort, B. R.; Hermanns, H.; Katoen, J.-P.
2
2013
Safety verification for probabilistic hybrid systems. Zbl 1291.93294
Zhang, Lijun; She, Zhikun; Ratschan, Stefan; Hermanns, Holger; Hahn, Ernst Moritz
8
2012
Variable probabilistic abstraction refinement. Zbl 1374.68347
Ferrer Fioriti, Luis María; Hahn, Ernst Moritz; Hermanns, Holger; Wachter, Björn
3
2012
Measurability and safety verification for stochastic hybrid systems. Zbl 1362.68170
Fränzle, Martin; Hahn, Ernst Moritz; Hermanns, Holger; Wolovick, Nicolás; Zhang, Lijun
17
2011
Time-bounded model checking of infinite-state continuous-time Markov chains. Zbl 1214.68213
Hahn, E. Moritz; Hermanns, Holger; Wachter, Björn; Zhang, Lijun
5
2009
all top 5

Cited by 154 Authors

8 Hahn, Ernst Moritz
8 Katoen, Joost-Pieter
8 Schewe, Sven
6 Zhang, Lijun
5 Baier, Christel
5 Junges, Sebastian
5 Kwiatkowska, Marta Z.
5 Perez, Mateo
5 Somenzi, Fabio
5 Soudjani, Sadegh
5 Trivedi, Ashutosh
5 Wojtczak, Dominik
5 Zamani, Majid
4 Lavaei, Abolfazl
4 Xu, Ming
3 Fu, Jianling
3 Hartmanns, Arnd
3 Jansen, Nils
3 Li, Yong
3 Mei, Jingyi
3 Müller, David I.
3 Spel, Jip
2 Abate, Alessandro
2 Bansal, Suguman
2 Dannenberg, Frits
2 Delahaye, Benoît
2 Deng, Yuxin
2 Feng, Yuan
2 Garavel, Hubert
2 Giese, Holger
2 Grosu, Radu
2 Huang, Chengchao
2 Jantsch, Simon
2 Klein, Joachim
2 Lanotte, Ruggero
2 Malik, Avinash
2 Maximova, Maria
2 Milazzo, Paolo
2 Remke, Anne
2 Schneider, Sven
2 Sproston, Jeremy
2 Stoelinga, Mariëlle
2 Tini, Simone
2 Turrini, Andrea
2 Vardi, Moshe Ya’akov
2 Wang, Shuling
2 Zhan, Naijun
1 Agarwal, Chaitanya
1 Ahner, Darryl K.
1 Alur, Rajeev
1 Badings, Thom S.
1 Barbot, Benoît
1 Barbuti, Roberto
1 Bastani, Osbert
1 Bertrand, Nathalie
1 Blahoudek, František
1 Bouyer, Patricia
1 Brihaye, Thomas
1 Brim, Luboš
1 Buchholz, Peter
1 Budde, Carlos Ernesto
1 Cai, Dunbo
1 Cantin, Guillaume
1 Cardelli, Luca
1 Carlier, Pierre
1 Češka, Milan
1 Chen, Taolue
1 D’Argenio, Pedro Rubén
1 Das, Subhro
1 Datta, Pratish
1 Dehnert, Christian
1 Diciolla, Marco
1 Dubslaff, Clemens
1 Duret-Lutz, Alexandre
1 Dutta, Ratna
1 Feng, Weizhi
1 Frew, Eric W.
1 Fulton, Nathan
1 Gao, Wei
1 Gebler, Daniel E.
1 Guha, Shibashis
1 Heck, Linus
1 Hermanns, Holger
1 Hoang, Trong Nghia
1 Hunt, Nathan
1 Jansen, David N.
1 John, Tobias
1 Jothimurugan, Kishor
1 Joye, Marc
1 Julien, David
1 Keith, Andrew J.
1 Kini, Dileep Raghunath
1 Klüppelholz, Sascha
1 Kohlen, Bram
1 Koutsoukos, Xenofon D.
1 Křetínský, Jan
1 Lahijanian, Morteza
1 Lal, Ratan
1 Lang, Frédéric
1 Larsen, Kim Guldstrand
...and 54 more Authors

Citations by Year