Coverability in VASS Revisited: Improving Rackoff's Bounds to Obtain Conditional Optimality. - Künnemann, Marvin; Mazowiecki, Filip; Schütze, Lia; Sinclair-Banks, Henry; Węgrzycki, Karol (Journal of the ACM, 2025)