Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS.

Toms Brzdil, Krishnendu Chatterjee, Antonn Kucera, Petr Novotn, Dominik Velan, Florian Zuleger

Browse the full LICS paper archive.