Write a Blog >>
VMCAI 2017
Sun 15 - Tue 17 January 2017
co-located with POPL 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