Automata learning through counterexample-guided abstraction refinement (0)

by F Aarts, F Heidarian, H Kuppens, P Olsen, F W Vaandrager
Venue:18th International Symposium on Formal Methods (FM 2012