Showing cs.FLShow all
2 papers · 1 filter
cs.FL2026
Active Inference of Extended Finite State Machine Models with Registers and Guards
Roland Groz, German Eduardo Vega Baez, Adenilso Simao +3
Extended finite state machines (EFSMs) model stateful systems with internal data variables and have numerous applications in software engineering. A major advantage of this type of…
cs.FL2024
Learning EFSM Models with Registers in Guards
Germán Vega, Roland Groz, Catherine Oriat +3
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…