Artifacts using automata-commons-util version 0.12.0

(De-) Serializers for the BA Format

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.

(De-)Serializers for the AUT Format

This artifact provides a visualization implementation based on the GraphVIZ DOT (http://www.graphviz.org/) tool.

This artifact provides the implementation of the "onward subsequential transducer inference algorithm" (OSTIA) learning algorithm as presented in the paper "Learning Subsequential Transducers for Pattern Recognition Interpretation Tasks" (https://doi.org/10.1109/34.211465) by Jose Oncina, Pedro García, and Enrique Vidal.