@misc{miscc26ecc6b,
title   = {Active inference of EFSMs without reset},
author = {Foster, Michael and Groz, Roland and Oriat, Catherine and Simão, Adenilso da Silva and Vega, Germán and Walkinshaw, Neil},
year = {2023},
doi = {10.1007/978-981-99-7584-6_3},
publisher = {Springer},
booktitle   = {International Conference on Formal Engineering Methods - ICFEM}
}