Automata Learning with an Incomplete but Inductive Teacher

Daniel Stan, Adrien Pommellet, Juliette Jacquot. Automata Learning with an Incomplete but Inductive Teacher. In Laura Bocchi, Burcu Kulahcioglu Ozkan, editors, Formal Techniques for Distributed Objects, Components, and Systems - 46th IFIP WG 6.1 International Conference, FORTE 2026, Held as Part of the 21st International Federated Conference on Distributed Computing Techniques, DisCoTec 2026, Urbino, Italy, June 8-12, 2026, Proceedings. Volume 16589 of Lecture Notes in Computer Science, pages 130-148, Springer, 2026. [doi]

Abstract

Abstract is missing.