The Tractability Border of Reachability in Simple Vector Addition Systems with States - Chistikov, Dmitry; Czerwiński, Wojciech; Mazowiecki, Filip; Orlikowski, Łukasz; Sinclair-Banks, Henry; Węgrzycki, Karol (2024)