POPL 2017
Sun 15 - Sat 21 January 2017

Not registered as user yet

Name: Andrea Turrini

Affiliation: State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences

Contributions

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

POPL 2017-profile
View general profile