Překlad LTL na nedeterministické automaty s generickou akceptační podmínkou – Bc. Juraj Major
Bc. Juraj Major
Master's thesis
Překlad LTL na nedeterministické automaty s generickou akceptační podmínkou
Translation of LTL into nondeterministic automata with generic acceptance condition
Abstract:
Záverečná práca sa zameriava na preklad LTL na konečné automaty nad nekonečnými slovami pomocou alternujúcich automatov. Navrhuje nový algoritmus prekladu, ktorý používa všeobecnú akceptačnú podmienku, s cieľom zmenšiť veľkosť výsledných automatov.Abstract:
The thesis focuses on the translation of LTL to finite automata over infinite words via alternating automata. We suggest a new translation algorithm that uses a generic acceptance condition to decrease the size of the resultant automata.
Language used: English
Date on which the thesis was submitted / produced: 4. 1. 2017
Identifier:
https://is.muni.cz/th/o0rn5/
Thesis defence
- Date of defence: 10. 2. 2017
- Supervisor: RNDr. František Blahoudek
- Reader: prof. RNDr. Ivana Černá, CSc.
Citation record
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 informatikyMasaryk University
Faculty of InformaticsMaster programme / field:
Applied Informatics / Applied Informatics
Theses on a related topic
-
Extending the Synthesis Algorithm for Consumption MDPs with LTL Objectives
Dávid Meluš -
Grafická reprezentace formulí logiky LTL
Michal Keda -
Translation of LTL to Semi-Deterministic Automata via Alternating Automata
Michal Románek -
Převod LTL formulí s omezenými operátory do automatů s čítači
Alexandra Slezáková -
Translation of an LTL fragment to deterministic Rabin and Streett automata
František Blahoudek -
Translation of LTL to omega-automata
Tomáš Babiak -
External Memory LTL Model Checking
Pavel Šimeček -
Počítačová podpora pro specifikaci požadavků v LTL
Vladimír Bača