 | Up a level |
Number of items: 1.
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 Lexicographic Omega-Regular Objectives.
In: International Symposium on Formal Methods.