Stephan Kreutzer

Latest

• Reachability in Succinct and Parametric One-Counter Automata