Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS

Logo poskytovatele

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

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

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info