Compositional Learning for Interleaving Parallel Automata (CL-Star)

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.