Reachability in Succinct and Parametric One-Counter Automata

by Christoph Haase , Stephan Kreutzer , Joël Ouaknine , James Worrell
Citations:5 - 2 self