Efficient Analysis of VASS Termination Complexity

Logo poskytovatele

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, 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:

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