Efficient Learning of Weak Deterministic Büchi Automata. - Mona Alluwayma; Yong Li 031; Sven Schewe; Qiyi Tang 001 (CoRR, 2025)