About LearnLib :: Algorithms :: Procedural
This artifact provides the implementations of various learning algorithms for systems of procedural automata such as the ones described in the papers "Compositional learning of mutually recursive procedural systems (https://doi.org/10.1007/s10009-021-00634-y) and "From Languages to Behaviors and Back" (https://doi.org/10.1007/978-3-031-15629-8_11) by Markus Frohme and Bernhard Steffen.