Delgado, T.; Sánchez Sorondo, M.; Braberman, V.; Uchitel, S. Exploration Policies for On-the-Fly Controller Synthesis: A Reinforcement Learning Approach. ICAPS 2023, 33, 569-577.