Demonstrating Learning of Register Automata

Maik Merten, Falk Howar, Bernhard Steffen, Sofia Cassel, Bengt Jonsson: Demonstrating Learning of Register Automata. In: TACAS 2012, LNCS 7214, pp. 466-471. Springer, 2012


We will demonstrate the impact of the integration of our most recently developed learning technology for inferring Register Automata into the LearnLib, our framework for active automata learning. This will not only illustrate the unique power of Register Automata, which allows one to faithfully model data independent systems, but also the ease of enhancing the LearnLib with new functionality.

Comments are closed for this post.