Box-Reachability in Vector Addition Systems. - Shaull Almagor; Itay Hasson; Michal Pilipczuk; Michael Zaslavski (CoRR, 2025)