Shortest Paths in One-Counter Systems.

Dmitry Chistikov, Wojciech Czerwinski, Piotr Hofman, Michal Pilipczuk, Michael Wehar

Browse the full FOSSACS paper archive.