most citedNew Lower Bounds for Reachability in Vector Addition Systems

1 citations · 1 across the 3 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2026

A Forward-Only Construction of Semilinear Inductive Invariants for VAS

Clotilde Bizière, Jérôme Leroux, Grégoire Sutre

The reachability problem for Vector Addition Systems (VAS) is a central decision problem in the theory of infinite-state systems, first solved by Kosaraju and Mayr in the 1980s. An…