Not registered as user yet

Name: Sven Schewe

Affiliation: University of Liverpool

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

POPL 2017 Activities

• Author of Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games within the VMCAI-track in VMCAI 2017
• Show activities from other conferences