35 citations · 169 across the 13 of their papers we have counts for
1 paper · 1 filter
Michael Blondin, Christoph Haase, Filip Mazowiecki +1
We study the reachability problem for affine Z-VASS, which are integer vector addition systems with states in which transitions perform affine transformations on the cou…