Edit Profile (opens in new tab) Hahn, Ernst Moritz Co-Author Distance Author ID: hahn.ernst-moritz Published as: Hahn, Ernst Moritz; Hahn, E. Moritz; Hahn, E. M. more...less 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 all top 5 Co-Authors 0 single-authored 13 Schewe, Sven 10 Hermanns, Holger 8 Perez, Mateo 8 Somenzi, Fabio 8 Trivedi, Ashutosh 8 Turrini, Andrea 8 Wojtczak, Dominik 8 Zhang, Lijun 3 Hashemi, Vahid 2 Gainer, Paul 2 Hartmanns, Arnd 2 Katoen, Joost-Pieter 2 Nicoletti, Stefano M. 2 Stoelinga, Mariëlle 2 Wachter, Björn 1 Baier, Christel 1 Budde, Carlos Ernesto 1 Dannenberg, Frits 1 Elbassioni, Khaled M. 1 Feng, Yuan 1 Ferrer Fioriti, Luis María 1 Fränzle, Martin 1 Gao, Yang 1 Haverkort, Boudewijn R. 1 Kolb, Christina 1 Kwiatkowska, Marta Z. 1 Lahijanian, Morteza 1 Li, Guangyuan 1 Li, Yong 1 Liu, Wanwei 1 Lopuhaä-Zwakenberg, Milan 1 Ratschan, Stefan 1 She, Zhikun 1 Wolovick, Nicolás 1 Ying, Shenggang 1 Zhan, Naijun Serials 1 MSCS. Mathematical Structures in Computer Science 1 Formal Methods in System Design 1 ACM Transactions on Modeling and Computer Simulation 1 European Journal of Control 1 Fundamenta Informaticae all top 5 Fields 28 Computer science (68-XX) 7 Operations research, mathematical programming (90-XX) 4 Probability theory and stochastic processes (60-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Systems theory; control (93-XX) 1 Mathematical logic and foundations (03-XX) 1 Numerical analysis (65-XX) 1 Quantum theory (81-XX) 1 Biology and other natural sciences (92-XX) Publications by Year all cited Publications top 5 cited Publications 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 cited Publications top 5 cited Publications 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 all top 5 Cited in 21 Serials 5 Journal of Logical and Algebraic Methods in Programming 4 Theoretical Computer Science 3 Acta Informatica 3 Automatica 3 Formal Methods in System Design 3 Nonlinear Analysis. Hybrid Systems 2 Information and Computation 1 Artificial Intelligence 1 Information Processing Letters 1 Journal of Computer and System Sciences 1 Journal of Automated Reasoning 1 Formal Aspects of Computing 1 Annals of Operations Research 1 Numerical Algorithms 1 Archives of Control Sciences 1 The Journal of Artificial Intelligence Research (JAIR) 1 Computer Science Journal of Moldova 1 European Journal of Control 1 Natural Computing 1 Sibirskie Èlektronnye Matematicheskie Izvestiya 1 Algorithms all top 5 Cited in 12 Fields 66 Computer science (68-XX) 18 Systems theory; control (93-XX) 17 Operations research, mathematical programming (90-XX) 10 Probability theory and stochastic processes (60-XX) 9 Mathematical logic and foundations (03-XX) 5 Biology and other natural sciences (92-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Information and communication theory, circuits (94-XX) 2 Numerical analysis (65-XX) 1 General and overarching topics; collections (00-XX) 1 Combinatorics (05-XX) 1 Quantum theory (81-XX) Citations by Year