S. H. Gaete, M. Muñoz, C. Riveros, and R. T. Icarte, “Active Learning of Symbolic Automata over Rational Numbers”, AAAI, vol. 40, no. 23, pp. 19091–19098, Mar. 2026.