ConferencePaper
 (2026)

Active Learning of Symbolic Automata over Rational Numbers

Hagedorn, Sebastián; Munoz, Martín; Riveros, Cristian; Toro Icarte, Rodrigo