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

Stefan Gller, Christoph Haase, Ranko Lazic, Patrick Totzke

Browse the full ICALP paper archive.