1 paper
Elaheh Hosseinkhani, Martin Leucker
Traditional approaches to inference of deterministic finite-state automata (DFA) stem from symbolic AI, including both active learning methods (e.g., Angluin's L* algorithm and its…