Gaete, S. H.; Muñoz, M.; Riveros, C.; Icarte, R. T. Active Learning of Symbolic Automata over Rational Numbers. AAAI 2026, 40, 19091-19098.