Artifacts using AutomataLib :: Core (65)

Sort by:Popular▼

✓Popular✓Newest

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 Simple Automaton Format

This artifact provides the implementation of the ADT learning algorithm as described in the Master thesis "Active Automata Learning with Adaptive Distinguishing Sequences" (http://arxiv.org/abs/1902.01139) by Markus Frohme.

A collection of property oracles

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

(De-) Serializers for the BA Format

(De-)Serializers for the AUT Format

This artifact provides the implementation of the NL* learning algorithm as described in the paper "Angluin-Style Learning of NFA" (http://ijcai.org/Proceedings/09/Papers/170.pdf) by Benedikt Bollig, Peter Habermehl, Carsten Kern, and Martin Leucker.

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.