PVASS Reachability Is Decidable.

Roland Guttenberg, Eren Keskin, Roland Meyer

Browse the full LICS paper archive.