The Complexity of Reachability in Affine Vector Addition Systems with States

Michael Blondin, Mikhail A. Raskin. The Complexity of Reachability in Affine Vector Addition Systems with States. Logical Methods in Computer Science, 17(3), 2021. [doi]

Abstract

Abstract is missing.