How hard is it to verify flat affine counter systems with the finite monoid property ?

Radu Iosif, Arnaud Sangnier

We study several decision problems for counter systems with guards defined by convex polyhedra and updates defined by affine transformations. In general, the reachability problem i…