Reachability in Fixed-Dimensional Continuous VASS.

Michal Ajdarw, A. R. Balasubramanian, Lukasz Orlikowski

Browse the full CONCUR paper archive.