Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný 0001, Dominik Velan, Florian Zuleger. Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS. In Anuj Dawar, Erich Grädel, editors, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018. pages 185-194, ACM, 2018. [doi]
Abstract is missing.