Reachability for Bounded Branching VASS.

Filip Mazowiecki Michal Pilipczuk

Published in: CONCUR (2019)

Keyphrases

search tree
branch and bound
transitive closure
objective function
training data
state space
hidden markov models
multi agent systems
support vector
data sets
feature extraction
database systems
image segmentation
e learning
search engine
learning algorithm
information retrieval