Reachability Games on Extended Vector Addition Systems with States.

Toms Brzdil, Petr Jancar, Antonn Kucera

Browse the full ICALP paper archive.