License: 
Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DARTS.9.2.21
URN: urn:nbn:de:0030-drops-182612
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2023/18261/
Moeller, Mark ;
Wiener, Thomas ;
Solko-Breslin, Alaia ;
Koch, Caleb ;
Foster, Nate ;
Silva, Alexandra
Automata Learning with an Incomplete Teacher (Artifact)
Evaluation Policy
The artifact has been evaluated as described in the ECOOP 2023 Call for Artifacts and the ACM Artifact Review and Badging Policy.
Abstract
We provide an implementation of the automata learning software described in the associated ECOOP article. In particular, the artifact is a Docker image with the source code for nerode and nerode-learn, along with the scripts and benchmark inputs needed to reproduce the experiments described in the paper.
BibTeX - Entry
@Article{moeller_et_al:DARTS.9.2.21,
author = {Moeller, Mark and Wiener, Thomas and Solko-Breslin, Alaia and Koch, Caleb and Foster, Nate and Silva, Alexandra},
title = {{Automata Learning with an Incomplete Teacher (Artifact)}},
pages = {21:1--21:3},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2023},
volume = {9},
number = {2},
editor = {Moeller, Mark and Wiener, Thomas and Solko-Breslin, Alaia and Koch, Caleb and Foster, Nate and Silva, Alexandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2023/18261},
URN = {urn:nbn:de:0030-drops-182612},
doi = {10.4230/DARTS.9.2.21},
annote = {Keywords: Finite Automata, Active Learning, SMT Solvers}
}
|
Keywords: |
|
Finite Automata, Active Learning, SMT Solvers |
|
Collection: |
|
DARTS, Volume 9, Issue 2, Special Issue of the 37th European Conference on Object-Oriented Programming (ECOOP 2023) |
|
Issue Date: |
|
2023 |
|
Date of publication: |
|
11.07.2023 |
