Zde se nacházíte:
Informace o publikaci
Almost Linear Büchi Automata
Název česky | Skoro lineární Büchiho automaty |
---|---|
Autoři | |
Rok publikování | 2010 |
Druh | Další prezentace na konferencích |
Fakulta / Pracoviště MU | |
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: |
|