Passive Learning for Extended Finite State Machines with Observable State

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Tamim Burgstaller
DOI: 10.5281/zenodo.18758258
Cited by: 0

Abstract

Implementation of the algorithm described in the master's thesis "Passive Learning for Extended Finite State Machines with Observable State". Includes the scripts used for and data collected from the evaluation in the context of this thesis.

Fields of Study & Subjects

semigroups and automata theory Formal Methods in Verification Software Testing and Debugging Techniques

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
24 February 2026
Language
EN