The surprizing complexity of generalized reachability games (0)

by Nathanaël Fijalkow, Florian Horn
Venue:CoRR