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

Marvin Knnemann, Filip Mazowiecki, Lia Schtze, Henry Sinclair-Banks, Karol Wegrzycki

Browse the full ICALP paper archive.