TY  - RPRT
TI  - Active Inference of Extended Finite State Machine Models with Registers and Guards
AU  - Roland Groz
AU  - German Eduardo Vega Baez
AU  - Adenilso Simao
AU  - Catherine Oriat
AU  - Neil Walkinshaw
AU  - Michael Foster
PY  - 2026
UR  - https://arxiv.org/abs/2604.21378
ID  - 2604.21378
ER  -