Reachability in VASS Extended with Integer Counters.

Clotilde Bizire, Wojciech Czerwinski, Roland Guttenberg, Jrme Leroux, Vincent Michielini, Lukasz Orlikowski, Antoni Puch, Henry Sinclair-Banks

Browse the full LICS paper archive.