The Complexity of Reachability in Affine Vector Addition Systems with States.

Michael Blondin, Mikhail A. Raskin

Browse the full LICS paper archive.