Automata Learning with Automated Alphabet Abstraction Refinement.

Falk Howar, Bernhard Steffen, Maik Merten

Browse the full VMCAI paper archive.