Ernst Moritz Hahn
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
46
Venues
17
Active years
2006–2025
Best venue rank
A*
Where they publish
Papers
46 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CaiSE | WATCHDOG: an ontology-aWare risk AssessmenT approaCH via object-oriented DisruptiOn Graphs. | Stefano M. Nicoletti, Ernst Moritz Hahn, Mattia Fumagalli, Giancarlo Guizzardi, Marille Stoelinga |
| 2024 | AAAI | Omega-Regular Decision Processes. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2024 | ECAI | Multi-Agent Reinforcement Learning for Alternating-Time Logic. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2024 | VMCAI | AGNES: Abstraction-Guided Framework for Deep Neural Networks Security. | Akshay Dhonthi, Marcello Eiermann, Ernst Moritz Hahn, Vahid Hashemi |
| 2023 | ATVA | Scenario Approach for Parametric Markov Models. | Ying Liu, Andrea Turrini, Ernst Moritz Hahn, Bai Xue, Lijun Zhang |
| 2023 | ECAI | Omega-Regular Reward Machines. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2023 | FM | Backdoor Mitigation in Deep Neural Networks via Strategic Retraining. | Akshay Dhonthi, Ernst Moritz Hahn, Vahid Hashemi |
| 2023 | FM | sfPFL: A Probabilistic Logic for Fault Trees. | Stefano M. Nicoletti, Milan Lopuha-Zwakenberg, Ernst Moritz Hahn, Marille Stoelinga |
| 2023 | SEFM | sfATM: A Logic for Quantitative Security Properties on Attack Trees. | Stefano M. Nicoletti, Milan Lopuha-Zwakenberg, Ernst Moritz Hahn, Marille Stoelinga |
| 2023 | TACAS | Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2022 | ATVA | An Impossibility Result in Automata-Theoretic Reinforcement Learning. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2022 | ATVA | Alternating Good-for-MDPs Automata. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2022 | DSN | BFL: a Logic to Reason about Fault Trees. | Stefano M. Nicoletti, Ernst Moritz Hahn, Marille Stoelinga |
| 2022 | FMICS | Reinforcement Learning with Guarantees that Hold for Ever. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2022 | VMCAI | EPMC Gets Knowledge in Multi-agent Systems. | Chen Fu, Ernst Moritz Hahn, Yong Li, Sven Schewe, Meng Sun, Andrea Turrini, Lijun Zhang |
| 2021 | CAV | Model-Free Reinforcement Learning for Branching Markov Decision Processes. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2021 | FM | Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2021 | SAC | Symblicit exploration and elimination for probabilistic model checking. | Ernst Moritz Hahn, Arnd Hartmanns |
| 2020 | ATVA | 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, Dominik Wojtczak |
| 2020 | CONCUR | Model-Free Reinforcement Learning for Stochastic Parity Games. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2020 | TACAS | Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2019 | TACAS | The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report). | Ernst Moritz Hahn, Arnd Hartmanns, Christian Hensel, Michaela Klauck, Joachim Klein, Jan Kretnsk, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz |
| 2019 | TACAS | Omega-Regular Objectives in Model-Free Reinforcement Learning. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2018 | ATVA | Accelerated Model Checking of Parametric Markov Chains. | Paul Gainer, Ernst Moritz Hahn, Sven Schewe |
| 2017 | CONCUR | Model Checking Omega-regular Properties for Quantum Markov Chains . | Yuan Feng, Ernst Moritz Hahn, Andrea Turrini, Shenggang Ying |
| 2017 | SETTA | Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs. | Vahid Hashemi, Andrea Turrini, Ernst Moritz Hahn, Holger Hermanns, Khaled M. Elbassioni |
| 2017 | TACAS | JANI: Quantitative Model and Tool Interaction. | Carlos E. Budde, Christian Dehnert, Ernst Moritz Hahn, Arnd Hartmanns, Sebastian Junges, Andrea Turrini |
| 2017 | VMCAI | Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games. | Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang |
| 2016 | CAV | A Simple Algorithm for Solving Qualitative Probabilistic Parity Games. | Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang |
| 2016 | ECAI | GPU-Accelerated Value Iteration for the Computation of Reachability Probabilities in MDPs. | Zhimin Wu, Ernst Moritz Hahn, Akin Gnay, Lijun Zhang, Yang Liu |
| 2016 | SETTA | A Comparison of Time- and Reward-Bounded Probabilistic Model Checking Techniques. | Ernst Moritz Hahn, Arnd Hartmanns |
| 2016 | SETTA | An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties. | Yong Li, Wanwei Liu, Andrea Turrini, Ernst Moritz Hahn, Lijun Zhang |
| 2015 | CONCUR | Lazy Probabilistic Model Checking without Determinisation. | Ernst Moritz Hahn, Guangyuan Li, Sven Schewe, Andrea Turrini, Lijun Zhang |
| 2015 | FM | QPMC: A Model Checker for Quantum Programs and Protocols. | Yuan Feng, Ernst Moritz Hahn, Andrea Turrini, Lijun Zhang |
| 2015 | SETTA | A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking. | Tom van Dijk, Ernst Moritz Hahn, David N. Jansen, Yong Li, Thomas Neele, Marille Stoelinga, Andrea Turrini, Lijun Zhang |
| 2014 | FM | iscasMc: A Web-Based Probabilistic Model Checker. | Ernst Moritz Hahn, Yi Li, Sven Schewe, Andrea Turrini, Lijun Zhang |
| 2013 | ATVA | CCMC: A Conditional CSL Model Checker for Continuous-Time Markov Chains. | Yang Gao, Ernst Moritz Hahn, Naijun Zhan, Lijun Zhang |
| 2013 | TASE | Model Repair for Markov Decision Processes. | Taolue Chen, Ernst Moritz Hahn, Tingting Han, Marta Z. Kwiatkowska, Hongyang Qu, Lijun Zhang |
| 2012 | ATVA | Variable Probabilistic Abstraction Refinement. | Luis Mara Ferrer Fioriti, Ernst Moritz Hahn, Holger Hermanns, Bjrn Wachter |
| 2011 | CAV | Model Checking Algorithms for CTMDPs. | Peter Buchholz, Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang |
| 2011 | MEMOCODE | Reachability analysis for incomplete networks of Markov decision processes. | Ralf Wimmer, Ernst Moritz Hahn, Holger Hermanns, Bernd Becker |
| 2010 | CAV | PARAM: A Model Checker for Parametric Markov Models. | Ernst Moritz Hahn, Holger Hermanns, Bjrn Wachter, Lijun Zhang |
| 2010 | CAV | Safety Verification for Probabilistic Hybrid Systems. | Lijun Zhang, Zhikun She, Stefan Ratschan, Holger Hermanns, Ernst Moritz Hahn |
| 2010 | TACAS | PASS: Abstraction Refinement for Infinite Probabilistic Models. | Ernst Moritz Hahn, Holger Hermanns, Bjrn Wachter, Lijun Zhang |
| 2009 | CAV | INFAMY: An Infinite-State Markov Model Checker. | Ernst Moritz Hahn, Holger Hermanns, Bjrn Wachter, Lijun Zhang |
| 2006 | SAFECOMP | Towards a Unified Model-Based Safety Assessment. | Thomas Peikenkamp, Antonella Cavallo, Laura Valacca, Eckard Bde, Matthias Pretzer, Ernst Moritz Hahn |