How Hard is It to Verify Flat Affine Counter Systems with the Finite Monoid Property?

Radu Iosif, Arnaud Sangnier

Browse the full ATVA paper archive.