No. Title Author Year
1 Reachability in Two-Dimensional Vector Addition Systems with States: One Test Is for Free Leroux, Jérôme et al. 2020
2 On the Boundedness Problem for Higher-Order Pushdown Vector Addition Systems Penelle, Vincent et al. 2018
3 Reachability for Two-Counter Machines with One Test and One Reset Finkel, Alain et al. 2018
4 Polynomial-Space Completeness of Reachability for Succinct Branching VASS in Dimension One Figueira, Diego et al. 2017
5 Safety Verification of Communicating One-Counter Machines Heußner, Alexander et al. 2012
6 Flat counter automata almost everywhere! Leroux, Jérôme et al. 2006
Current Page :
Number of result pages: 1
Number of documents: 6

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI