@Article{         GollerHaaseLazicTotzke,
  Author        = {G{\"o}ller, Stefan and Haase, Christoph and Lazi{\'c}, Ranko and Totzke, Patrick},
  Abstract      = "Branching VASS (BVASS) generalise vector addition systems with states by allowing for special branching transitions that can non-deterministically distribute a counter value between two control states. A run of a BVASS consequently becomes a tree, and reachability is to decide whether a given configuration is the root of a reachability tree. This paper shows P-completeness of reachability in BVASS in dimension one, the first decidability result for reachability in a subclass of BVASS known so far. Moreover, we show that coverability and boundedness in BVASS in dimension one are P-complete as well.",
  date-added    = "2016-02-29 09:55:14 +0000",
  date-modified = "2016-02-29 09:55:25 +0000",
  EPrint        = "1602.05547",
  Keywords      = "readme",
  Month         = "02",
  Title         = "A Polynomial-Time Algorithm for Reachability in Branching VASS in Dimension One",
  URL           = "http://arxiv.org/abs/1602.05547",
  Year          = "2016",
  bdsk-url-1    = "http://arxiv.org/abs/1602.05547",
  File          = "A Polynomial-Time Algorithm for Reachability in Branching VASS in Dimension One - Göller, Haase, Lazić, Totzke (0) (0) - a - a - t.pdf"
}

@Article{ GollerHaaseLazicTotzke, Author = {G{\"o}ller, Stefan and Haase, Christoph and Lazi{\'c}, Ranko and Totzke, Patrick}, Abstract = "Branching VASS (BVASS) generalise vector addition systems with states by allowing for special branching transitions that can non-deterministically distribute a counter value between two control states. A run of a BVASS consequently becomes a tree, and reachability is to decide whether a given configuration is the root of a reachability tree. This paper shows P-completeness of reachability in BVASS in dimension one, the first decidability result for reachability in a subclass of BVASS known so far. Moreover, we show that coverability and boundedness in BVASS in dimension one are P-complete as well.", date-added = "2016-02-29 09:55:14 +0000", date-modified = "2016-02-29 09:55:25 +0000", EPrint = "1602.05547", Keywords = "readme", Month = "02", Title = "A Polynomial-Time Algorithm for Reachability in Branching VASS in Dimension One", URL = "http://arxiv.org/abs/1602.05547", Year = "2016", bdsk-url-1 = "http://arxiv.org/abs/1602.05547", File = "A Polynomial-Time Algorithm for Reachability in Branching VASS in Dimension One - Göller, Haase, Lazić, Totzke (0) (0) - a - a - t.pdf" }