Zpět na vyhledávání

Bc. Dávid Smolka

Bachelor's thesis

Simulation-Based Reduction of Modal Omega-Automata

Simulation-Based Reduction of Modal Omega-Automata
Abstract:
V tejto práci zavádzame modálne automaty (automaty pracujúce s dvomi množinami prechodov) a zovšeobecňujeme koncepty simulácii, prerezávania a kvocientovanie tak, aby využívali modalitu týchto automatov. Pre určité podmnožiny modálnych simulácii charaktrizujeme tie, ktoré je možno použiť s modálnym prerezávaním alebo modálnym kvocientovaním. Potom ukážeme, ako redukovať problém výpočtu konkrétnej triedy …more
Abstract:
In this thesis we introduce modal automata (automata utilizing two sets of transitions) and generalize the concepts of simulations, pruning and quotienting to make use of the modality of such automata. For particular subset of modal simulations, we characterize those that can be used with the modal pruning and modal quotienting. We then show how to reduce the problem of computing particular class these …more
 

Keywords

omega-automata TBA MTBA modal automata simulations parity games pruning quotienting Maslo modality reduction Seminator Spot
 
Language used: English
Date on which the thesis was submitted / produced: 18. 5. 2023
Identifier: https://is.muni.cz/th/qq7ad/

Thesis defence

  • Date of defence: 28. 6. 2023
  • Supervisor: prof. RNDr. Jan Strejček, Ph.D.
  • Reader: prof. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D.

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

Bachelor programme / field:
Informatics / Informatics

Theses on a related topic

List of theses with an identical keyword.
  • No theses on a related topic available.