Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS

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	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
Citace
www	ACM Digital Library
Doi	https://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