Efficient Analysis of VASS Termination Complexity

• Autoři: KUČERA Antonín; LEROUX Jérôme; VELAN Dominik
• Rok publikování: 2020
• Druh: Článek ve sborníku
• Konference: LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science
• Fakulta / Pracoviště MU: Fakulta informatiky
• Doi: http://dx.doi.org/10.1145/3373718.3394751
• Klíčová slova: Vector addition systems; Termination
• Popis: Článek se zabývá odhadem maximální doby běhu VASS systémů.

Související projekty

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