Can I read Karp-Miller Trees in Branching VASS on EtoBox?
Karp-Miller Trees in Branching VASS by buddhapragya is a document available to read on EtoBox.
What is Karp-Miller Trees in Branching VASS about?
The paper discusses Branching VASS (BVASS), an extension of Vector Addition Systems with States (VASS) that allows for tree-like structures in its runs. It extends the Karp-Miller tree construction to BVASS, proving that coverability is computable and leading to decidability results for certain equational tree automata. The findings suggest a connection between the decidability of reachability in BVASS and provability in multiplicative exponential linear logic, addressing an open problem in the field.
- Author
- buddhapragya
- Language
- EN