Login / Signup
Polynomial-Space Completeness of Reachability for Succinct Branching VASS in Dimension One.
Diego Figueira
Ranko Lazic
Jérôme Leroux
Filip Mazowiecki
Grégoire Sutre
Published in:
ICALP (2017)
Keyphrases
</>
state space
branch and bound
multimedia
data sets
image processing
data quality
neural network
decision making
metadata
face recognition
hidden markov models
transitive closure
high dimension
temporal dimension