Z-reachability Problem for Games on 2-dimensional Vector Addition Systems with States is in P.

Jakub Chaloupka

Published in: Fundam. Informaticae (2013)

Keyphrases

management system
databases
information systems
pattern recognition
dimensionality reduction
multi dimensional
intelligent systems
computer systems
complex systems
game playing