Ernst Moritz Hahn

ORCID

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 65

Top Venues

CoRR

ATVA

SETTA

Saarland University (PHD)

Education History

Saarland University

PHD

Publications

Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Omega-Regular Decision Processes. AAAI (2024)
Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga
Querying Fault and Attack Trees: Property Specification on a Water Network. CoRR (2024)
Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Ceska, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Kretínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, Zhen Zhang
Tools at the Frontiers of Quantitative Verification. CoRR (2024)
Akshay Dhonthi, Marcello Eiermann, Ernst Moritz Hahn, Vahid Hashemi
AGNES: Abstraction-Guided Framework for Deep Neural Networks Security. VMCAI (2) (2024)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Multi-objective ω-Regular Reinforcement Learning. Formal Aspects Comput. 35 (2) (2023)
Ying Liu, Andrea Turrini, Ernst Moritz Hahn, Bai Xue, Lijun Zhang
Scenario Approach for Parametric Markov Models. ATVA (1) (2023)
Akshay Dhonthi, Ernst Moritz Hahn, Vahid Hashemi
Backdoor Mitigation in Deep Neural Networks via Strategic Retraining. FM (2023)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Omega-Regular Decision Processes. CoRR (2023)
Akshay Dhonthi, Marcello Eiermann, Ernst Moritz Hahn, Vahid Hashemi
AGNES: Abstraction-guided Framework for Deep Neural Networks Security. CoRR (2023)
Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga
ATM: a Logic for Quantitative Security Properties on Attack Trees. CoRR (2023)
Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga
sfATM: A Logic for Quantitative Security Properties on Attack Trees. SEFM (2023)
Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga
sfPFL: A Probabilistic Logic for Fault Trees. FM (2023)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning. TACAS (1) (2023)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Omega-Regular Reward Machines. ECAI (2023)
Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga
PFL: a Probabilistic Logic for Fault Trees. CoRR (2023)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Omega-Regular Reward Machines. CoRR (2023)
Ying Liu, Andrea Turrini, Ernst Moritz Hahn, Bai Xue, Lijun Zhang
Scenario Approach for Parametric Markov Models. CoRR (2023)
Caz Saaltink, Stefano M. Nicoletti, Matthias Volk, Ernst Moritz Hahn, Mariëlle Stoelinga
Solving Queries for Boolean Fault Tree Logic via Quantified SAT. FTSCS (2023)
Chen Fu, Ernst Moritz Hahn, Yong Li, Sven Schewe, Meng Sun, Andrea Turrini, Lijun Zhang
EPMC Gets Knowledge in Multi-agent Systems. VMCAI (2022)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Alternating Good-for-MDP Automata. CoRR (2022)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Recursive Reinforcement Learning. CoRR (2022)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
An Impossibility Result in Automata-Theoretic Reinforcement Learning. ATVA (2022)
Meilun Li, Andrea Turrini, Ernst Moritz Hahn, Zhikun She, Lijun Zhang
Probabilistic Preference Planning Problem for Markov Decision Processes. IEEE Trans. Software Eng. 48 (5) (2022)
Stefano M. Nicoletti, Ernst Moritz Hahn, Mariëlle Stoelinga
BFL: a Logic to Reason about Fault Trees. DSN (2022)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Reinforcement Learning with Guarantees that Hold for Ever. FMICS (2022)
Stefano M. Nicoletti, Ernst Moritz Hahn, Mariëlle Stoelinga
BFL: a Logic to Reason about Fault Trees. CoRR (2022)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Recursive Reinforcement Learning. NeurIPS (2022)
Akshay Dhonthi, Ernst Moritz Hahn, Vahid Hashemi
Backdoor Mitigation in Deep Neural Networks via Strategic Retraining. CoRR (2022)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Alternating Good-for-MDPs Automata. ATVA (2022)
Ernst Moritz Hahn, Arnd Hartmanns
Symblicit exploration and elimination for probabilistic model checking. SAC (2021)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives. FM (2021)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Model-free Reinforcement Learning for Branching Markov Decision Processes. CoRR (2021)
Mariëlle Stoelinga, Christina Kolb, Stefano M. Nicoletti, Carlos E. Budde, Ernst Moritz Hahn
The Marriage Between Safety and Cybersecurity: Still Practicing. SPIN (2021)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Mungojerrie: Reinforcement Learning of Linear-Time Objectives. CoRR (2021)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Model-Free Reinforcement Learning for Branching Markov Decision Processes. CAV (2) (2021)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Reward Shaping for Reinforcement Learning with Omega-Regular Objectives. CoRR (2020)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives. ATVA (2020)
Ernst Moritz Hahn, Arnd Hartmanns
Symblicit Exploration and Elimination for Probabilistic Model Checking. CoRR (2020)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Model-Free Reinforcement Learning for Stochastic Parity Games. CONCUR (2020)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning. TACAS (1) (2020)
Ernst Moritz Hahn, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi, Sven Schewe, Dominik Wojtczak
Good-for-MDPs Automata. CoRR (2019)
Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini
Interval Markov Decision Processes with Multiple Objectives: From Robust Strategies to Pareto Curves. ACM Trans. Model. Comput. Simul. 29 (4) (2019)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Omega-Regular Objectives in Model-Free Reinforcement Learning. TACAS (1) (2019)
Ernst Moritz Hahn, Arnd Hartmanns, Christian Hensel, Michaela Klauck, Joachim Klein, Jan Kretínský, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz
The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report). TACAS (3) (2019)
Alessandro Abate, Henk Blom, Nathalie Cauchi, Kurt Degiorgio, Martin Fränzle, Ernst Moritz Hahn, Sofie Haesaert, Hao Ma, Meeko Oishi, Carina Pilch, Anne Remke, Mahmoud Salamati, Sadegh Soudjani, Birgit van Huijgevoort, Abraham P. Vinod
ARCH-COMP19 Category Report: Stochastic Modelling. ARCH@CPSIoTWeek (2019)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Limit reachability for model-free reinforcement learning of ω-regular objectives. SNR (2019)
Paul Gainer, Ernst Moritz Hahn, Sven Schewe
Incremental Verification of Parametric and Reconfigurable Markov Chains. CoRR (2018)
Paul Gainer, Ernst Moritz Hahn, Sven Schewe
Accelerated Model Checking of Parametric Markov Chains. CoRR (2018)
Paul Gainer, Ernst Moritz Hahn, Sven Schewe
Incremental Verification of Parametric and Reconfigurable Markov Chains. QEST (2018)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Omega-Regular Objectives in Model-Free Reinforcement Learning. CoRR (2018)
Paul Gainer, Ernst Moritz Hahn, Sven Schewe
Accelerated Model Checking of Parametric Markov Chains. ATVA (2018)
Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang
Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games. VMCAI (2017)
Yuan Feng, Ernst Moritz Hahn, Andrea Turrini, Shenggang Ying
Model Checking Omega-regular Properties for Quantum Markov Chains . CONCUR (2017)
Vahid Hashemi, Andrea Turrini, Ernst Moritz Hahn, Holger Hermanns, Khaled M. Elbassioni
Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs. SETTA (2017)
Carlos E. Budde, Christian Dehnert, Ernst Moritz Hahn, Arnd Hartmanns, Sebastian Junges, Andrea Turrini
JANI: Quantitative Model and Tool Interaction. TACAS (2) (2017)
Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini
Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes. CoRR (2017)
Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini
Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes. QEST (2017)
Ernst Moritz Hahn, Arnd Hartmanns
A Comparison of Time- and Reward-Bounded Probabilistic Model Checking Techniques. SETTA (2016)
Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Andrea Turrini
Exploiting Robust Optimization for Interval Probabilistic Bisimulation. QEST (2016)
Zhimin Wu, Ernst Moritz Hahn, Akin Günay, Lijun Zhang, Yang Liu
GPU-Accelerated Value Iteration for the Computation of Reachability Probabilities in MDPs. ECAI (2016)
Yong Li, Wanwei Liu, Andrea Turrini, Ernst Moritz Hahn, Lijun Zhang
An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties. SETTA (2016)
Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang
Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games. CoRR (2016)
Ernst Moritz Hahn, Arnd Hartmanns
Efficient Algorithms for Time- and Cost-Bounded Probabilistic Model Checking. CoRR (2016)
Yong Li, Wanwei Liu, Andrea Turrini, Ernst Moritz Hahn, Lijun Zhang
An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties. CoRR (2016)
Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang
A Simple Algorithm for Solving Qualitative Probabilistic Parity Games. CAV (2) (2016)
Ernst Moritz Hahn, Guangyuan Li, Sven Schewe, Andrea Turrini, Lijun Zhang
Lazy Probabilistic Model Checking without Determinisation. CONCUR (2015)
Tom van Dijk, Ernst Moritz Hahn, David N. Jansen, Yong Li, Thomas Neele, Mariëlle Stoelinga, Andrea Turrini, Lijun Zhang
A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking. SETTA (2015)
Yuan Feng, Ernst Moritz Hahn, Andrea Turrini, Lijun Zhang
QPMC: A Model Checker for Quantum Programs and Protocols. FM (2015)
Ernst Moritz Hahn, Holger Hermanns, Ralf Wimmer, Bernd Becker
Transient Reward Approximation for Continuous-Time Markov Chains. IEEE Trans. Reliab. 64 (4) (2015)
Frits Dannenberg, Ernst Moritz Hahn, Marta Z. Kwiatkowska
Computing Cumulative Rewards Using Fast Adaptive Uniformization. ACM Trans. Model. Comput. Simul. 25 (2) (2015)
Ernst Moritz Hahn, Yi Li, Sven Schewe, Andrea Turrini, Lijun Zhang
iscasMc: A Web-Based Probabilistic Model Checker. FM (2014)
David Spieler, Ernst Moritz Hahn, Lijun Zhang
Model Checking CSL for Markov Population Models QAPL (2014)
Ernst Moritz Hahn, Arnd Hartmanns, Holger Hermanns
Reachability and Reward Checking for Stochastic Timed Automata. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70 (2014)
Ernst Moritz Hahn, Arnd Hartmanns, Holger Hermanns, Joost-Pieter Katoen
A compositional modelling and analysis framework for stochastic hybrid systems. Formal Methods Syst. Des. 43 (2) (2013)
Frits Dannenberg, Ernst Moritz Hahn, Marta Z. Kwiatkowska
Computing Cumulative Rewards Using Fast Adaptive Uniformisation. CMSB (2013)
Yang Gao, Ernst Moritz Hahn, Naijun Zhan, Lijun Zhang
CCMC: A Conditional CSL Model Checker for Continuous-Time Markov Chains. ATVA (2013)
Christel Baier, Ernst Moritz Hahn, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
Model checking for performability. Math. Struct. Comput. Sci. 23 (4) (2013)
Ernst Moritz Hahn, Holger Hermanns
Rewarding probabilistic hybrid automata. HSCC (2013)
Taolue Chen, Ernst Moritz Hahn, Tingting Han, Marta Z. Kwiatkowska, Hongyang Qu, Lijun Zhang
Model Repair for Markov Decision Processes. TASE (2013)
Ernst Moritz Hahn, Guangyuan Li, Sven Schewe, Lijun Zhang
Lazy Determinisation for Quantitative Model Checking. CoRR (2013)
Ernst Moritz Hahn, Holger Hermanns, Ralf Wimmer, Bernd Becker
Transient Reward Approximation for Grids, Crowds, and Viruses CoRR (2012)
Lijun Zhang, Zhikun She, Stefan Ratschan, Holger Hermanns, Ernst Moritz Hahn
Safety Verification for Probabilistic Hybrid Systems. Eur. J. Control 18 (6) (2012)
Luis María Ferrer Fioriti, Ernst Moritz Hahn, Holger Hermanns, Björn Wachter
Variable Probabilistic Abstraction Refinement. ATVA (2012)
Peter Buchholz, Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang
Model Checking Algorithms for CTMDPs. CAV (2011)
Ernst Moritz Hahn, Gethin Norman, David Parker, Björn Wachter, Lijun Zhang
Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems. QEST (2011)
Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang
Probabilistic reachability for parametric Markov models. Int. J. Softw. Tools Technol. Transf. 13 (1) (2011)
Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn, Holger Hermanns, David N. Jansen
The ins and outs of the probabilistic model checker MRMC. Perform. Evaluation 68 (2) (2011)
Ralf Wimmer, Ernst Moritz Hahn, Holger Hermanns, Bernd Becker
Reachability analysis for incomplete networks of Markov decision processes. MEMOCODE (2011)
Pepijn Crouzen, Ernst Moritz Hahn, Holger Hermanns, Abhishek Dhama, Oliver E. Theel, Ralf Wimmer, Bettina Braitling, Bernd Becker
Bounded Fairness for Probabilistic Distributed Algorithms. ACSD (2011)
Ernst Moritz Hahn, Tingting Han, Lijun Zhang
Synthesis for PCTL in Parametric Markov Decision Processes. NASA Formal Methods (2011)
Martin Fränzle, Ernst Moritz Hahn, Holger Hermanns, Nicolás Wolovick, Lijun Zhang
Measurability and safety verification for stochastic hybrid systems. HSCC (2011)
Ralf Wimmer, Bettina Braitling, Bernd Becker, Ernst Moritz Hahn, Pepijn Crouzen, Holger Hermanns, Abhishek Dhama, Oliver E. Theel
Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems. QEST (2010)
Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang
PASS: Abstraction Refinement for Infinite Probabilistic Models. TACAS (2010)
Lijun Zhang, Zhikun She, Stefan Ratschan, Holger Hermanns, Ernst Moritz Hahn
Safety Verification for Probabilistic Hybrid Systems. CAV (2010)
Georgel Calin, Pepijn Crouzen, Pedro R. D'Argenio, Ernst Moritz Hahn, Lijun Zhang
Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains. SPIN (2010)
Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang
PARAM: A Model Checker for Parametric Markov Models. CAV (2010)
Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang
Probabilistic Reachability for Parametric Markov Models. SPIN (2009)
Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang
Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains. Fundam. Informaticae 95 (1) (2009)
Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn, Holger Hermanns, David N. Jansen
The Ins and Outs of the Probabilistic Model Checker MRMC. QEST (2009)
Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang
INFAMY: An Infinite-State Markov Model Checker. CAV (2009)

Ernst Moritz Hahn.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ernst Moritz Hahn