Efficient Analysis of VASS Termination Complexity

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

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
Citace
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