Safety and Reachability in k-Control Games on Integer Vector Addition Systems with States.

Reino Niskanen, Igor Potapov, James Topley

Browse the full CiE paper archive.