Shortest paths in one-counter systems

Dmitry Chistikov, Wojciech Czerwinski, Piotr Hofman, Michal Pilipczuk, Michael Wehar. Shortest paths in one-counter systems. Logical Methods in Computer Science, 15(1), 2019. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: