20 citations · 41 across the 31 of their papers we have counts for
1 paper · 2 filters
Stefan Göller, Christoph Haase, Ranko Lazić +1
Branching VASS (BVASS) generalise vector addition systems with states by allowing for special branching transitions that can non-deterministically distribute a counter value betwee…