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…