Automata Learning with an Incomplete Teacher (Artifact)

Download PDF
Open Webpage

Mark Moeller, Thomas Wiener, Alaia Solko-Breslin, Caleb Koch, Nate Foster, Alexandra Silva

Published: 01 Jan 2023, Last Modified: 15 May 2025Dagstuhl Artifacts Ser. 2023EveryoneRevisionsBibTeXCC BY-SA 4.0
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.