T. Delgado, M. Sánchez Sorondo, V. Braberman, and S. Uchitel, “Exploration Policies for On-the-Fly Controller Synthesis: A Reinforcement Learning Approach”, ICAPS, vol. 33, no. 1, pp. 569-577, Jul. 2023.