[LiTZS18] Learning to Complement Büchi Automata Li, Y.; Turrini, A.; Zhang, L. and Schewe, S. In VMCAI, pages 313-335, Springer, LNCS 10747, 2018.
Downloads: bibURL: https://doi.org/10.1007/978-3-319-73721-8_15