Counter Automata for MTL over Untimed Words – Bc. Tereza Kinská
Bc. Tereza Kinská
Bachelor's thesis
Counter Automata for MTL over Untimed Words
Counter Automata for MTL over Untimed Words
Anotácia:
Tato práce představuje nový typ alternujícího automatu jménem COALA s počítacími množinami (tak zvanými "counting sety"), na který lze překládat MTL formule nad nečasovanými slovy. Přestože MTL formule, vyhodnocované nad nečasovanými slovy, je možné přeložit na LTL formule, a již bylo v literatuře prezentováno mnoho překladů LTL formule na automat, překlad z MTL do LTL způsobuje exponenciální nárůst …viacAbstract:
This thesis presents a new type of alternating automaton with counting sets (called COALA), to which an MTL formula over untimed words can be translated. Although such an MTL formula can be translated to LTL and many algorithms for translating LTL into automata have already been presented, the translation causes an exponential blowup in the size of the formula, hence also in the size of the resulting …viac
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 18. 5. 2023
Identifikátor:
https://is.muni.cz/th/vp4m8/
Obhajoba závěrečné práce
- Obhajoba proběhla 28. 6. 2023
- Vedúci: prof. RNDr. Jan Strejček, Ph.D.
- Oponent: prof. RNDr. Mojmír Křetínský, CSc.
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 InformaticsBachelor programme / odbor:
Informatics / Informatics
Práce na příbuzné téma
- Žádné práce na příbuzné téma.