Michael Foster 0001, Roland Groz, Catherine Oriat, Adenilso da Silva Simão, Germán Vega, Neil Walkinshaw. Active Inference of EFSMs Without Reset. In Yi Li 0008, Sofiène Tahar, editors, Formal Methods and Software Engineering - 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings. Volume 14308 of Lecture Notes in Computer Science, pages 29-46, Springer, 2023. [doi]
Abstract is missing.