The joint work between ISCAS and University of Liverpool about learning to complement Büchi automata [LiTZS18] has been accepted in VMCAI’18.
The joint work between ISCAS and University of Liverpool about learning to complement Büchi automata [LiTZS18] has been accepted in VMCAI’18.