107 citations · 618 across the 21 of their papers we have counts for
1 paper · 2 filters
Jérôme Leroux, Sylvain Schmitz
More than 30 years after their inception, the decidability proofs for reachability in vector addition systems (VAS) still retain much of their mystery. These proofs rely crucially…