2020

• Efficient Analysis of VASS Termination Complexity

  KUČERA Antonín LEROUX Jérôme VELAN Dominik

  Article in Proceedings

  LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, year: 2020

2019

• Deciding Fast Termination for Probabilistic VASS with Nondeterminism

  BRÁZDIL Tomáš CHATTERJEE Krishnendu KUČERA Antonín NOVOTNÝ Petr VELAN Dominik

  Article in Proceedings

  Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Proceedings, year: 2019

2018

• Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS

  BRÁZDIL Tomáš CHATTERJEE Krishnendu KUČERA Antonín NOVOTNÝ Petr VELAN Dominik ZULEGER Florian

  Article in Proceedings

  2018 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), year: 2018