Compositional Learning for Interleaving Parallel Automata (CL-Star)

  • Faezeh Labbaf (Ontwerper)
  • Jan Friso Groote (Ontwerper)
  • Hossein Hojjat (Bijdrager)
  • Mohammad Reza Mousavi (King's College London) (Bijdrager)

Dataset

Omschrijving

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.
Datum van beschikbaarheid23 apr. 2023
UitgeverZenodo

Citeer dit