Scaling Directed Controller Synthesis via Reinforcement Learning. - Tomás Delgado; Víctor A. Braberman; Sebastián Uchitel (CoRR, 2022)

Exploration Policies for On-the-Fly Controller Synthesis: A Reinforcement Learning Approach. - Tomás Delgado; Marco Sánchez Sorondo; Víctor A. Braberman; Sebastián Uchitel (ICAPS, 2023)