The Complexity of Reachability in Affine Vector Addition Systems with States.

Michael Blondin Mikhail A. Raskin

Published in: LICS (2020)

Keyphrases

computational complexity
intelligent systems
transitive closure
complex systems
learning systems
computer systems
distributed systems
management system
computational cost
database
np complete
building blocks
computer vision
search engine
vector space
state transition
databases