We gratefully acknowledge support from
the Simons Foundation and member institutions.

No authors of 1408.5560 can endorse.

Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification

Adriano Peron and Carla Piazza are not registered as owners of this paper. (why?)