2 papers
cs.FL2026
Automata Learning with an Incomplete but Inductive Teacher (Technical Report)
Daniel Stan, Adrien Pommellet, Juliette Jacquot
Active automata learning (AAL) under a Minimally Adequate Teacher (MAT) has been successfully used to infer a regular language through membership and equivalence queries. This lang…
cs.FL2026
Active Learning Techniques for Pomset Recognizers
Adrien Pommellet, Amazigh Amrane, Edgar Delaporte +2
Pomsets are a promising formalism for concurrent programs based on partially ordered sets. Among this class, series-parallel pomsets admit a convenient linear representation and ca…