Browse by People

Schewe, S ORCID: 0000-0002-9093-9518, Gainer, Paul and Hahn, Ernst Moritz (2018) Accelerated Model Checking of Parametric Markov Chains. In: International Symposium on Automated Technology for Verification and Analysis, 2018-10-7 - 2018-10-10, Los Angeles.

Hahn, Ernst Moritz, Perez, Mateo, Schewe, Sven ORCID: 0000-0002-9093-9518, Somenzi, Fabio, Trivedi, Ashutosh and Wojtczak, Dominik ORCID: 0000-0001-5560-0546 (2022) Alternating Good-for-MDP Automata. [Preprint]

Hahn, Ernst Moritz, Perez, Mateo, Schewe, Sven ORCID: 0000-0002-9093-9518, Somenzi, Fabio, Trivedi, Ashutosh and Wojtczak, Dominik ORCID: 0000-0001-5560-0546 (2020) Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives. In: ATVA, 2020-10-19 - 2020-10-23.

Hahn, Ernst Moritz ORCID: 0000-0002-9348-7684, Perez, Mateo ORCID: 0000-0003-4220-3212, Schewe, Sven ORCID: 0000-0002-9093-9518, Somenzi, Fabio ORCID: 0000-0002-2085-2003, Trivedi, Ashutosh ORCID: 0000-0001-9346-0126 and Wojtczak, Dominik ORCID: 0000-0001-5560-0546 (2020) Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning. In: TACAS, 2020-4-25 - 2020-4-30, Dublin.

Hahn, Ernst Moritz, Li, Yi, Schewe, Sven ORCID: 0000-0002-9093-9518, Turrini, Andrea and Zhang, Lijun (2014) ISCASMC: A Web-Based Probabilistic Model Checker. In: FM 2014: Formal Methods - 19th International Symposium, Singapore.

Hahn, Ernst Moritz, Trivedi, Ashutosh, Perez, Mateo, Somenzi, Fabio, Schewe, Sven ORCID: 0000-0002-9093-9518 and Wojtczak, Dominik ORCID: 0000-0001-5560-0546 (2022) An Impossibility Result in Automata-Theoretic Reinforcement Learning. In: ATVA22.

Gainer, Paul, Hahn, Ernst Moritz and Schewe, Sven ORCID: 0000-0002-9093-9518 (2018) Incremental Verification of Parametric and Reconfigurable Markov Chains. In: International Conference on Quantitative Evaluation of SysTems, 2018-9-4 - 2018-9-7, Beijing.

Hahn, Ernst Moritz, Perez, Mateo, Schewe, Sven ORCID: 0000-0002-9093-9518, Somenzi, Fabio, Trivedi, Ashutosh and Wojtczak, Dominik ORCID: 0000-0001-5560-0546 (2021) Model-Free Reinforcement Learning for Branching Markov Decision Processes. COMPUTER AIDED VERIFICATION, PT II, CAV 2021, 12760. pp. 651-673.

Hahn, Ernst Moritz, Perez, Mateo, Schewe, Sven ORCID: 0000-0002-9093-9518, Somenzi, Fabio, Trivedi, Ashutosh and Wojtczak, Dominik ORCID: 0000-0001-5560-0546 (2023) Multi-objective ω-Regular Reinforcement Learning. FORMAL ASPECTS OF COMPUTING, 35 (2). pp. 1-24.

Hahn, Ernst Moritz ORCID: 0000-0002-9348-7684, Perez, Mateo ORCID: 0000-0003-4220-3212, Schewe, Sven ORCID: 0000-0002-9093-9518, Somenzi, Fabio ORCID: 0000-0002-2085-2003, Trivedi, Ashutosh ORCID: 0000-0001-9346-0126 and Wojtczak, Dominik ORCID: 0000-0001-5560-0546 (2023) Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning. In: Tools and Algorithms for the Construction and Analysis of Systems. Springer Nature Switzerland, pp. 527-545. ISBN 9783031308222

Hahn, Ernst Moritz, Perez, Mateo, Schewe, Sven, Somenzi, Fabio, Trivedi, Ashutosh and Wojtczak, Dominik ORCID: 0000-0001-5560-0546 (2023) Omega-Regular Decision Processes. In: AAAI 2024.

Hahn, Ernst Moritz, Perez, Mateo, Schewe, Sven ORCID: 0000-0002-9093-9518, Somenzi, Fabio, Trivedi, Ashutosh and Wojtczak, Dominik ORCID: 0000-0001-5560-0546 (2022) Reinforcement Learning with Guarantees That Hold for Ever. .

Hahn, Ernst Moritz, Schewe, Sven ORCID: 0000-0002-9093-9518, Turrini, Andrea and Zhang, Lijun (2016) A Simple Algorithm for Solving Qualitative Probabilistic Parity Games. In: Computer Aided Verification: 28th International Conference, CAV 2016, 2016-7-17 - 2016-7-23, Toronto, ON, Canada.

Hahn, Ernst Moritz, Schewe, Sven ORCID: 0000-0002-9093-9518, Turrini, Andrea and Zhang, Lijun (2017) Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games. In: Verification, Model Checking, and Abstract Interpretation, 2017-1-15 - 2017-1-17, Paris.