DMCA

Concurrent Reachability Games

by Luca Alfaro , Thomas A. Henzinger , Orna Kupferman