DFAMiner: Mining minimal separating DFAs from labelled samples

Open in new window