Demystifying Reachability in Vector Addition Systems.

Jérôme Leroux Sylvain Schmitz

Published in: LICS (2015)

Keyphrases

databases
complex systems
distributed systems
artificial intelligence
state space
intelligent systems
computer systems
database
real time
machine learning
genetic algorithm
information systems
case study
mobile robot
vector space