TY  - RPRT
TI  - A Polynomial-Time Algorithm for Reachability in Branching VASS in Dimension One
AU  - Stefan Göller
AU  - Christoph Haase
AU  - Ranko Lazić
AU  - Patrick Totzke
PY  - 2016
UR  - https://arxiv.org/abs/1602.05547
ID  - 1602.05547
ER  -