Info: Zenodo’s user support line is staffed on regular business days between Dec 23 and Jan 5. Response times may be slightly longer than normal.

Published June 25, 2024 | Version v2
Conference proceeding Open

Artifact for DFAMiner: Mining Minimal Separating DFAs from Labelled Samples

Creators

  • 1. ROR icon University of Liverpool

Contributors

Project leader:

Project member:

  • 1. ROR icon University of Liverpool

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