Polynomial-Space Completeness of Reachability for Succinct Branching VASS in Dimension One

Article Details
Title:	Polynomial-Space Completeness of Reachability for Succinct Branching VASS in Dimension One
Article URLs:	https://doi.org/10.4230/LIPIcs.ICALP.2017.119
Alternative Article URLs:
Authors:	Diego Figueira	LaBRI
	Ranko Lazic	University of Warwick
	Jérôme Leroux	LaBRI
	Filip Mazowiecki	University of Warwick
	Grégoire Sutre	LaBRI
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/icalp/FigueiraLLMS17
Author Comments:

Intl. Colloquium on Automata, Languages, and Programming, ICALP 2017