Published April 23, 2023 | Version v1
Software Open

Compositional Learning for Interleaving Parallel Automata (CL-Star)

  • 1. Tehran Institute for Advances Studies (TeIAS)
  • 2. Eindhoven University of Technology, The Netherlands
  • 3. University of Tehran, Iran
  • 4. King's College London, UK


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 "" file for more information, and for instructions on running the experiments and reproducing the results, read the "documentation.txt" file.


Files (533.2 MB)

Name Size Download all
533.2 MB Preview Download

Additional details


  • 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–380. Springer Berlin Heidelberg, Berlin, Heidelberg (2006)