Angluin-Style Learning of Deterministic Bchi and Co-Bchi Automata.

Yong Li, Sven Schewe, Qiyi Tang

Browse the full IJCAI paper archive.