Sciweavers

Share
ICALP
2010
Springer
10 years 3 months ago
Reachability Games on Extended Vector Addition Systems with States
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...
Tomás Brázdil, Petr Jancar, Anton&ia...
books