Registered user since Thu 22 Mar 2018

Name: Yong Li

Affiliation: Institute of Software, Chinese Academy of Sciences

Contributions

VMCAI 2018 Learning to Complement Büchi Automata
Show activities from other conferences

POPL 2018-profile
View general profile