Login / Signup

Coverability in VASS Revisited: Improving Rackoff's Bound to Obtain Conditional Optimality.

Marvin KünnemannFilip MazowieckiLia SchützeHenry Sinclair-BanksKarol Wegrzycki
Published in: ICALP (2023)
Keyphrases
  • upper bound
  • neural network
  • optimal solution
  • real time
  • information retrieval
  • special case
  • databases
  • decision making
  • web pages
  • image segmentation
  • np hard
  • mobile robot
  • multi class
  • error bounds