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: CoRR (2023)
Keyphrases
  • lower bound
  • worst case
  • upper bound
  • error bounds
  • real time
  • databases
  • data mining
  • genetic algorithm
  • artificial intelligence
  • computer vision
  • website