cs.FL cs.LO
The Tractability Border of Reachability in Simple Vector Addition Systems with States
Dmitry Chistikov Wojciech Czerwiński Filip Mazowiecki Łukasz Orlikowski Henry Sinclair-Banks Karol Węgrzycki