POPL 2017
Sun 15 - Sat 21 January 2017
Ernst Moritz Hahn

Registered user since Wed 22 Aug 2018

Name:Ernst Moritz Hahn
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