Efficient Learning of Weak Deterministic Büchi Automata

Mona Alluwayma, Yong Li, Sven Schewe +1

We present an efficient Angluin-style learning algorithm for weak deterministic Büchi automata (wDBAs). Different to ordinary deterministic Büchi and co-Büchi automata, wDBAs have…