Karp-Miller Trees for a Branching Extension of VASS

  title={Karp-Miller Trees for a Branching Extension of VASS},
  author={Kumar Neeraj Verma and Jean Goubault-Larrecq},
  journal={Discrete Mathematics & Theoretical Computer Science},
We study BVASS (Branching VASS) which extend VASS (Vector Addition Systems with States) by allowing addition transitio ns that merge two configurations. Runs in BVASS are tree-like structures instead of linear ones as for VASS. We show that the construction of Karp-Miller trees for VASS can be extended to BVASS. This entails that the coverability set for B VASS is computable. 
Highly Cited
This paper has 55 citations. REVIEW CITATIONS
29 Citations
27 References
Similar Papers


Publications citing this paper.

55 Citations

Citations per Year
Semantic Scholar estimates that this publication has 55 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 27 references

and J

  • J. Hopcrof
  • J. Pansiot. On the reachability problem for 5…
  • 1979
Highly Influential
3 Excerpts

Automates d’arbres bidirectionnels modulo théories équ ationnelles

  • K. N. Verma
  • PhD thesis, ENS Cachan, Sept.
  • 2003
3 Excerpts

Similar Papers

Loading similar papers…