@misc{indiciae43c25272322f,
  title = {Active Inference of Extended Finite State Machine Models with Registers and Guards},
  author = {Roland Groz and German Eduardo Vega Baez and Adenilso Simao and Catherine Oriat and Neil Walkinshaw and Michael Foster},
  year = {2026},
  url = {https://arxiv.org/abs/2604.21378},
  note = {Source identifier: 2604.21378}
}