A Polynomial-Time Algorithm for Reachability in Branching VASS in Dimension One

Stefan Göller, Christoph Haase, Ranko Lazic, Patrick Totzke
January 2016
PDF DOI
Type
Conference paper
Publication
Automata, Languages, and Programming, ICALP