The Reachability Problem for Two-Dimensional Vector Addition Systems with States

Michael Blondin, Matthias Englert, Alain Finkel, Stefan Göller, Christoph Haase, Ranko Lazić, Pierre McKenzie, Patrick Totzke
January 2021
PDF DOI
Type
Journal article
Publication
J. ACM