Published November 3, 2021 | Version 0.1.0
Software Open

Artifact for (A New Approach for Active Automata Learning Based on Apartness) @ TACAS 2022

Creators

  • 1. Radboud University

Description

This is the artifact submitted for the paper “A New Approach
for Active Automata Learning Based on Apartness.” The artifact contains an
implementation (called “automata-lib”) of the L# learning algorithm introduced
in the paper, alongside the benchmark models. Please read the README.txt file for setup/running the experiments.

Files

artifact.zip

Files (396.0 MB)

Name Size Download all
md5:852abbb3f50b24d436d42c4a116f222c
395.0 MB Preview Download
md5:54a1706a027f07f6e9f4b32ef8dea915
153.8 kB Preview Download
md5:254b5abf879dca0aee78cfef3a05acb5
850.4 kB Preview Download
md5:8724edf2b83a5f4e655c4ae49dcc1e4c
2.5 kB Preview Download