Překlad LTL na nedeterministické automaty s generickou akceptační podmínkou – Bc. Juraj Major
Bc. Juraj Major
Diplomová práce
Překlad LTL na nedeterministické automaty s generickou akceptační podmínkou
Translation of LTL into nondeterministic automata with generic acceptance condition
Anotace:
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.
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 4. 1. 2017
Identifikátor:
https://is.muni.cz/th/o0rn5/
Obhajoba závěrečné práce
- Obhajoba proběhla 10. 2. 2017
- Vedoucí: RNDr. František Blahoudek
- Oponent: prof. RNDr. Ivana Černá, CSc.
Citační záznam
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 informatikyMasarykova univerzita
Fakulta informatikyMagisterský studijní program / obor:
Aplikovaná informatika / Aplikovaná informatika
Práce na příbuzné téma
-
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 -
Porovnání nástrojů pro paralelní LTL model checking
Marek Tomáštík