Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 7.


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-07 - 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
(2020) Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning. In: TACAS, 2020-04-25 - 2020-04-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. .


Gainer, Paul, Hahn, Ernst Moritz and Schewe, Sven ORCID: 0000-0002-9093-9518
(2018) Incremental Verification of Parametric and Reconfigurable Markov Chains. .


Hahn, Ernst Moritz, Perez, Mateo, Schewe, Sven ORCID: 0000-0002-9093-9518, Somenzi, Fabio, Trivedi, Ashutosh and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2019) Omega-Regular Objectives in Model-Free Reinforcement Learning. .


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-07-17 - 2016-07-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. .

This list was generated on Thu May 14 15:34:59 2020 BST.