Gaete, S. H., Muñoz, M., Riveros, C., & Icarte, R. T. (2026). Active Learning of Symbolic Automata over Rational Numbers. Proceedings of the AAAI Conference on Artificial Intelligence, 40(23), 19091–19098. https://doi.org/10.1609/aaai.v40i23.38982