20 citations · 41 across the 31 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.FL2015
On Boundedness Problems for Pushdown Vector Addition Systems
Jérôme Leroux, Grégoire Sutre, Patrick Totzke
We study pushdown vector addition systems, which are synchronized products of pushdown automata with vector addition systems. The question of the boundedness of the reachability se…
cs.FL2015
On the Coverability Problem for Pushdown Vector Addition Systems in One Dimension
Jérôme Leroux, Grégoire Sutre, Patrick Totzke
Does the trace language of a given vector addition system (VAS) intersect with a given context-free language? This question lies at the heart of several verification questions invo…