Learning EFSM Models with Registers in Guards

2024/06/11 by Germán Vega, Vega, Germán, Roland Groz +9
Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Machine Learning and Algorithms

paper · pdf · doi:10.48550/arxiv.2406.07040

openalex publication_date 2024/06/11 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

This paper presents an active inference method for Extended Finite State Machines, where inputs and outputs are parametrized, and transitions can be conditioned by guards involving input parameters and internal variables called registers. The method applies to (software) systems that cannot be reset, so it learns an EFSM model of the system on a single trace.

Related

• Active Learning of Abstract System Models from Traces using Model Checking [Extended]
• Human in the Loop: Interactive Passive Automata Learning via Evidence-Driven State-Merging Algorithms
• PTSG: a test generation tool based on extended finite state machine
• fbSAT: Automatic Inference of Minimal Finite-State Models of Function Blocks Using SAT Solver
• McFSM: Globally Taming Complex Systems