Linear Temporal Logic and omega-automata – Mgr. František Blahoudek
Mgr. František Blahoudek
Advanced ('rigorózní') thesis
Linear Temporal Logic and omega-automata
Linear Temporal Logic and omega-automata
Anotácia:
Teze mé dizertační práce se věnují aktivní oblasti výzkumu -- překladu Lineární Temporální Logiky (LTL) do deterministických automatů nad nekonečnými slovy (deterministických omega-automatů). V literatuře můžeme nalézt dva možné přístupy k překladu: překlad přímý a dvojkrokový překlad, který zahrnuje determinizaci Büchiho automatů. Teze popisují aktuální stav výzkumu v obou větvích, připomínají problémy …viacAbstract:
This proposal of my Ph.D. thesis is dedicated to a currently active area of research -- translation of Linear Temporal Logic (LTL) into deterministic omega-automata (i.e. automata over infinite words). Two approaches to the translation can be found in the literature: direct translations and two-step translation including determinization of non-deterministic Büchi automata. This thesis proposal describes …viac
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 25. 2. 2015
Identifikátor:
https://is.muni.cz/th/vvxpf/
Obhajoba závěrečné práce
- Obhajoba proběhla 25. 5. 2015
- Oponent: prof. RNDr. Jiří Barnat, Ph.D., RNDr. Jan Kofroň, Ph.D.
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsAdvanced ('rigorózní řízení') programme / odbor:
Informatics / Informatics
Práce na příbuzné téma
-
Translation of Linear Temporal Logic to Omega-Automata
Tomáš Babiak -
Runtime Verification of Linear Temporal Specifications with Degradation
Tomáš Staňa -
Control Strategy Synthesis for Path Planning under Temporal Constraints
Mária Svoreňová -
Temporal attribute implications
Jan TŘÍSKA -
Quantitative Linear-Time Model Checking
Jana Tůmová -
Almost linear Bűchi automata
Tomáš Babiak -
Tight Omega-Automata
Marek Jankola -
Mapping the Omega-Automata Jungle
Tomáš Macháček