Published April 23, 2023 | Version v1
Software Open

Compositional Learning for Interleaving Parallel Automata (CL-Star)

Creators

  • 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

Description

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.

Files

Decomposed-Automata-Learning.zip

Files (533.2 MB)

Name Size Download all
md5:8bf6faf509012f84e8c138a598f644c7
533.2 MB Preview Download

Additional details

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