11 Jun 2024

Paper accepted at FM’24

We are glad that our paper about DFAMiner, for mining minimal separating DFAs from labelled samples, has been accepted at FM’24.