TY - RPRT TI - Efficient Learning of Weak Deterministic Büchi Automata AU - Mona Alluwayma AU - Yong Li AU - Sven Schewe AU - Qiyi Tang PY - 2025 UR - https://arxiv.org/abs/2508.14274 ID - 2508.14274 ER -