Details for the publication DellErbaLS24.

Daniele Dell'Erba, Yong Li, Sven Schewe (): DFAMiner: Mining Minimal Separating DFAs from Labelled Samples. In Formal Methods - 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II, volume 14934 of Lecture Notes in Computer Science, pages 48-66, 2024. DOI BIB