Active Automata Learning with Advice

Michał Fica, Jan Otop

We present an extended automata learning framework that combines active automata learning with deductive inference. The learning algorithm asks membership and equivalence queries a…