Browse by People

Hahn, EM, Li, G, Schewe, S ORCID: 0000-0002-9093-9518, Turrini, A and Zhang, L (2015) Lazy probabilistic model checking without determinisation. In: 26th International Conference on Concurrency Theory (CONCUR 2015). Leibniz International Proceedings in Informatics (LIPIcs), 42 . Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, pp. 354-367. ISBN 9783939897910

Hahn, EM, Perez, M, Schewe, S ORCID: 0000-0002-9093-9518, Somenzi, F, Trivedi, A and Wojtczak, D ORCID: 0000-0001-5560-0546 (2020) Model-free reinforcement learning for stochastic parity games. In: CONCUR 2020, 2020-9-1 - 2020-9-4.

Hahn, EM, Perez, Mateo, Schewe, S ORCID: 0000-0002-9093-9518, Somenzi, Fabio, Trivedi, Ashutosh and Wojtczak, DK ORCID: 0000-0001-5560-0546 (2019) Omega-Regular Objectives in Model-Free Reinforcement Learning. In: 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2019-4-6 - 2019-4-11, Prague, Czech Republic.

Hahn, EM, Perez, M, Schewe, S ORCID: 0000-0002-9093-9518, Somenzi, F, Trivedi, A and Wojtczak, D ORCID: 0000-0001-5560-0546 (2022) Recursive Reinforcement Learning. In: NeurIPS.

Hahn, EM, Perez, M, Schewe, S ORCID: 0000-0002-9093-9518, Somenzi, F, Trivedi, A and Wojtczak, D ORCID: 0000-0001-5560-0546 (2020) Reward Shaping for Reinforcement Learning with Omega-Regular Objectives.