Reachability in Vector Addition Systems is Primitive-Recursive in Fixed Dimension.

Jérôme Leroux Sylvain Schmitz

Published in: LICS (2019)

Keyphrases

machine learning
management system
building blocks
real time
database
data sets
neural network
artificial intelligence
computer vision
bayesian networks
reinforcement learning
higher level
complex systems