41 citations · 50 across the 3 of their papers we have counts for
1 paper · 1 filter
Stéphane Demri
Numerous properties of vector addition systems with states amount to checking the (un)boundedness of some selective feature (e.g., number of reversals, run length). Some of these f…