In recent years, two different approaches for learning register automata have been developed: as part of the LearnLib tool algorithms have been implemented that are based on the Nerode congruence for register automata, whereas the Tomte tool implements algorithms that use counterexample-guided abstraction refinement to automatically construct appropriate mappers. In this paper, we compare the LearnLib and Tomte approaches on a newly defined set of benchmarks and highlight their differences and respective strengths.
CITATION STYLE
Aarts, F., Howar, F., Kuppens, H., & Vaandrager, F. (2014). Algorithms for inferring register automata: A comparison of existing approaches. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8802, pp. 202–219). Springer Verlag. https://doi.org/10.1007/978-3-662-45234-9_15
Mendeley helps you to discover research relevant for your work.