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]

Authors

Dmitry Chistikov

This author has not been identified. Look up 'Dmitry Chistikov' in Google

Wojciech Czerwinski

This author has not been identified. Look up 'Wojciech Czerwinski' in Google

Piotr Hofman

This author has not been identified. Look up 'Piotr Hofman' in Google

Michal Pilipczuk

This author has not been identified. Look up 'Michal Pilipczuk' in Google

Michael Wehar

This author has not been identified. Look up 'Michael Wehar' in Google