Active Learning of Symbolic Mealy Automata. - Kengo Irie; Masaki Waga; Kohei Suenaga (CoRR, 2025)