Publication [LiTZS18] Learning to Complement Büchi Automata Li, Y.; Turrini, A.; Zhang, L. and Schewe, S. In VMCAI, pages 313-335, LNCS 10747, 2018.Downloads: bib