Automata Learning through Counterexample Guided Abstraction Refinement.

Fides Aarts, Faranak Heidarian, Harco Kuppens, Petur Olsen, Frits W. Vaandrager

Browse the full FM paper archive.