RALib is a library for active learning algorithms for register automata (a form of extended finite state machines). RALib is licensed under the Apache License, Version 2.0. RALib is developed as an extension to LearnLib. It implements the SL* algorithm presented in Sofia Cassel, Falk Howar, Bengt Jonsson, Bernhard Steffen: Learning Extended Finite State Machines. SEFM 2014: 250-264.
References in zbMATH (referenced in 1 article )
Showing result 1 of 1.
- Cassel, Sofia; Howar, Falk; Jonsson, Bengt; Steffen, Bernhard: Active learning for extended finite state machines (2016)