Scalable Tree-based Register Automata Learning

Existing active automata learning (AAL) algorithms have demonstrated their potential in capturing the behavior of complex systems (e.g., in analyzing network protocol implementations). The most widely used AAL algorithms generate finite state machine models, such as Mealy machines. For many analysis...

Full description

Bibliographic Details

Published in:	Tools and Algorithms for the Construction and Analysis of Systems Vol. 14571; p. 87
Main Authors:	Dierl, Simon, Fiterau-Brostean, Paul, Howar, Falk, Jonsson, Bengt, Sagonas, Konstantinos, Tåquist, Fredrik
Format:	Book Chapter Conference Proceeding
Language:	English
Published:	Switzerland Springer International Publishing AG 2024
Series:	Lecture Notes in Computer Science
Subjects:	Active automata learning Register automata
ISBN:	9783031572487, 3031572483, 3031572491, 9783031572494
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!