Write a Blog >>
VMCAI 2017
Sun 15 - Tue 17 January 2017
co-located with POPL 2017

Not registered as user yet

Name: Andrea Turrini

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


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