Login / Signup

Polynomial-Space Completeness of Reachability for Succinct Branching VASS in Dimension One.

Diego FigueiraRanko LazicJérôme LerouxFilip MazowieckiGré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