14 citations · 14 across the 1 of their papers we have counts for
1 paper
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…