This repository contains the source codes and results of "Compositional Learning for Interleaving Parallel Automata". This tool is implemented in Java, on top of the LaernLib framework, a state-of-the-art library for automata learning. Refer to the "READMe.md" file for more information, and for instructions on running the experiments and reproducing the results, read the "documentation.txt" file.

{"references": ["Raffelt, H., Steffen, B.: Learnlib: A library for automata learning and experimentation. In: Baresi, L., Heckel, R. (eds.) Fundamental Approaches to Software Engineering. pp. 377\u2013380. Springer Berlin Heidelberg, Berlin, Heidelberg (2006)"]}