Publication

[LiTZS18] Learning to Complement Büchi Automata Li, Y.; Turrini, A.; Zhang, L. and Schewe, S. In VMCAI, 2018.
Note: Accepted for publication
Downloads: bib