DFAMiner: Mining Minimal Separating DFAs from Labelled Samples.

Daniele Dell'Erba, Yong Li, Sven Schewe

Browse the full FM paper archive.