Efficient Algorithms for Checking Fast Termination in VASS. - Tomás Brázdil; Krishnendu Chatterjee; Antonín Kucera 001; Petr Novotný 001; Dominik Velan (CoRR, 2017)

Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS. - Tomás Brázdil; Krishnendu Chatterjee; Antonín Kucera 001; Petr Novotný 001; Dominik Velan; Florian Zuleger (LICS, 2018)

Deciding Fast Termination for Probabilistic VASS with Nondeterminism. - Tomás Brázdil; Krishnendu Chatterjee; Antonín Kucera 001; Petr Novotný 001; Dominik Velan (ATVA, 2019)

Efficient Analysis of VASS Termination Complexity. - Antonín Kucera 001; Jérôme Leroux; Dominik Velan (LICS, 2020)