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 May 19, 2026. https://ojs.aaai.org/index.php/AAAI/article/view/38982.