Zpět na vyhledávání

Bc. Adam Tuček

Master's thesis

Paritní hry

Parity games
Abstract:
Paritní hry jsou důležitým výpočetním problémem v informatice. Problém řešení paritních her je ekvivalentní problému ověřování modelů μ-kalkulu. Ale ani po velkém pokroku v posledních letech není známo jestli problém řešení paritních her je v P nebo je NP-kompletní. Tato práce prezentuje mnoho důležitých algoritmů pro řešení paritních her, vysvětluje jak pracují a sjednocuje jazyk používaný mezi těmito …more
Abstract:
Parity games are an important computational problem in computer science. The problem of solving a parity game is equivalent to the problem of model checking of μ-calculus. But even after a lot of progress in the recent years, it is not known whether or not solving parity games is in P or it is NP-complete. This thesis presents many important algorithms for solving parity games, explains how they work …more
 

Keywords

formal methods model checking parity games
 
Language used: English
Date on which the thesis was submitted / produced: 11. 12. 2019
Identifier: https://is.muni.cz/th/vfh4f/

Thesis defence

  • Date of defence: 3. 2. 2020
  • Supervisor: doc. Mgr. Jan Obdržálek, PhD.
  • Reader: doc. RNDr. Jan Strejček, 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