Informace o publikaci

Almost Linear Büchi Automata

Název česky Skoro lineární Büchiho automaty
Autoři

BABIAK Tomáš STREJČEK Jan ŘEHÁK Vojtěch

Rok publikování 2010
Druh Další prezentace na konferencích
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Popis V článku zavádíme novou třídu Büchiho automatů (BA), která se nazývá Almost linear Büchi automata (ALBA) a příslušný fragment logiky lineárního času (LTL) s názvem LIO.
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