This artifact provides the implementation of the L# algorithm as described in the paper "A New Approach for
Active Automata Learning Based on Apartness" (https://doi.org/10.1007/978-3-030-99524-9_12) by Frits Vaandrager,
Bharat Garhewal, Jurriaan Rot, and Thorsten Wißmann.
Latest Versions
1 versions →| Version | Vulnerabilities | Usages | Date | |
|---|---|---|---|---|
0.18.x | 0.18.0 |
1
| Feb 06, 2025 |