Gaete, Sebastian Hagedorn, Martín Muñoz, Cristian Riveros, and Rodrigo Toro Icarte. 2026. “Active Learning of Symbolic Automata over Rational Numbers”. Proceedings of the AAAI Conference on Artificial Intelligence 40 (23):19091-98. https://doi.org/10.1609/aaai.v40i23.38982.