The Covering and Boundedness Problems for Branching Vector Addition Systems

StéPhane Demri, Marcin Jurdzinski, Oded Lachish & Ranko Lazic
The covering and boundedness problems for branching vector addition systems are shown complete for doubly-exponential time.