Bc. Tomáš Babiak, Ph.D.

Master's thesis

Almost linear Bűchi automata

Almost linear Bűchi automata
Abstract:
V tejto práci sa zaoberáme špeciálnou triedou B\"{u}chiho automatov, ktorá sa volá Almost linear B\"{u}chi automata (ALBA) a jej vzťahom k fragmentu Lineárnej temporálnej logiky (LTL), ktorý sa nazýva LIO. V práci popisujeme preklad fragmentu LIO na ALBA a ukážeme jeho zložitosť. Ďalej porovnávame tento preklad s niekoľkými implementáciami štandardného prekladu logiky LTL na B\"{u}chiho automaty pomocou …more
Abstract:
In this thesis, we are concerned in the special class of B\"{u}chi automata called Almost linear B\"{u}chi automata (ALBA) and its relation to the fragment of Linear temporal logic called LIO. We provide an effective translation of LIO to ALBA and show it complexity. Further we provide the comparison of this translation with some implementations of standard translation from LTL to B\"{u}chi automata …more
 

Keywords

Model-checking Linear temporal logic (LTL) LIO B\"{u}chi automata Almost linear B\"{u}chi automata (ALBA)
 
Language used: English
Date on which the thesis was submitted / produced: 11. 1. 2010
Identifier: https://is.muni.cz/th/cs3an/

Thesis defence

  • Date of defence: 10. 2. 2010
  • Supervisor: doc. RNDr. Jan Strejček, Ph.D.
  • Reader: prof. RNDr. Mojmír Křetínský, CSc.

Citation record

Cite this text

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatiky
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Informatics

Master programme / field:
Informatics / Parallel and Distributed Systems

Theses on a related topic

List of theses with an identical keyword.