Limit reachability for model-free reinforcement learning of ω-regular objectives

Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi 0001, Dominik Wojtczak. Limit reachability for model-free reinforcement learning of ω-regular objectives. In Sriram Sankaranarayanan 0001, Sadegh Soudjani, editors, Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, SNR '19, Montreal, Quebec, Canada, April 15, 2019. pages 16-18, ACM, 2019. [doi]

Abstract

Abstract is missing.