Model Checking Succinct and Parametric One-Counter Automata.

Stefan Gller, Christoph Haase, Jol Ouaknine, James Worrell

Browse the full ICALP paper archive.