Published June 25, 2024
| Version v2
Conference proceeding
Open
Artifact for DFAMiner: Mining Minimal Separating DFAs from Labelled Samples
Description
This is the artifact for FM'24 paper titled DFAMiner: Mining Minimal Separating DFAs from Labelled Samples.
Files
Files
(9.5 GB)
Name | Size | Download all |
---|---|---|
md5:a344646b91eb16097b808e4e0fc7edd8
|
9.5 GB | Download |
Additional details
Related works
- Is supplement to
- Preprint: arXiv:2405.18871 (arXiv)
Dates
- Accepted
-
2024-05-11
References
- DFAMiner