Abolfazl Lavaei, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi 0001, Majid Zamani. Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning. In 11th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2020, Sydney, Australia, April 21-25, 2020. pages 98-107, IEEE, 2020. [doi]
Abstract is missing.