Informace o publikaci

Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS

Autoři

BRÁZDIL Tomáš CHATTERJEE Krishnendu KUČERA Antonín NOVOTNÝ Petr VELAN Dominik ZULEGER Florian

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