Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS

• Autoři: BRÁZDIL Tomáš; CHATTERJEE Krishnendu; KUČERA Antonín; NOVOTNÝ Petr; VELAN Dominik; ZULEGER Florian
• Rok publikování: 2018
• Druh: Článek ve sborníku
• Konference: 2018 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
• Fakulta / Pracoviště MU: Fakulta informatiky
• www: ACM Digital Library
• Doi: http://dx.doi.org/10.1145/3209108.3209191
• Klíčová slova: vector addition systems with states; termination
• Popis: V článku je studován problém asymptotického odhadu maximální délky výpočtu daného VASS systému.

Související projekty

• Rozsáhlé výpočetní systémy: modely, aplikace a verifikace VII.
• Algoritmy pro diskrétní systémy a hry s nekonečně mnoha stavy
• Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 18