Not registered as user yet

Name: Sven Schewe

Affiliation: University of Liverpool

Personal website: http://www.csc.liv.ac.uk/~sven/

Contributions

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

POPL 2018-profile
View general profile