A Polynomial−Time Algorithm for Reachability in Branching VASS in Dimension One
Stefan Göller‚ Christoph Haase‚ Ranko Lazic and Patrick Totzke
Book Title
Automata‚ Languages‚ and Programming‚ ICALP
Pages
105:1–105:13
Publisher
Schloss Dagstuhl − Leibniz−Zentrum fuer Informatik
Series
LIPIcs
Volume
55
Year
2016