Gaete, Sebastian Hagedorn, Martín Muñoz, Cristian Riveros, and Rodrigo Toro Icarte. “Active Learning of Symbolic Automata over Rational Numbers”. Proceedings of the AAAI Conference on Artificial Intelligence 40, no. 23 (March 14, 2026): 19091–19098. Accessed July 12, 2026. https://ojs.aaai.org/index.php/AAAI/article/view/38982.