Active Inference of Extended Finite State Models of Software Systems

Roland Groz, Catherine Oriat, Germán Vega, Adenilso da Silva Simão, Michael Foster 0001, Neil Walkinshaw. Active Inference of Extended Finite State Models of Software Systems. In François Coste, Faissal Ouardi, Guillaume Rabusseau, editors, International Conference on Grammatical Inference, ICGI 2023, 10-13 July 2023, Rabat, Morocco. Volume 217 of Proceedings of Machine Learning Research, pages 265-269, PMLR, 2023. [doi]

Abstract

Abstract is missing.