Efficient Analysis of VASS Termination Complexity

Logo poskytovatele

Varování

Publikace nespadá pod Filozofickou 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.