Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall. Finite Automata synthesis from Interactions. In Nico Plat, Stefania Gnesi, Carlo A. Furia, Antónia Lopes, editors, Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), Lisbon, Portugal, April 14-15, 2024. pages 12-22, ACM, 2024. [doi]
Abstract is missing.