31 citations · 56 across the 19 of their papers we have counts for
1 paper · 1 filter
Tomas Brazdil, Petr Jancar, Antonin Kucera
We consider two-player turn-based games with zero-reachability and zero-safety objectives generated by extended vector addition systems with states. Although the problem of decidin…