Efficient Analysis of VASS Termination Complexity

Varování

Publikace nespadá pod Fakultu sportovních studií, 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	KUČERA, Antonín, Jérôme LEROUX a Dominik VELAN. Efficient Analysis of VASS Termination Complexity. Online. In Holger Hermanns, Lijun Zhang, Naoki Kobayashi, Dale Miller. LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science. New York, USA: ACM, 2020, s. 676-688. ISBN 978-1-4503-7104-9. Dostupné z: https://dx.doi.org/10.1145/3373718.3394751.
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