On the Reachability Problem for Two-Dimensional Branching VASS.

Clotilde Bizire, Thibault Hilaire, Jrme Leroux, Grgoire Sutre

Browse the full MFCS paper archive.