POPL 2017
Sun 15 - Sat 21 January 2017

Registered user since Tue 14 Dec 2021

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

Contributions

VMCAI 2017 Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games
Show activities from other conferences

POPL 2017-profile
View general profile