Zpět na vyhledávání

Mgr. Bc. Petr Novotný

Advanced ('rigorózní') thesis

Modeling and Verification of Infinite-State Reactive Systems

Modeling and Verification of Infinite-State Reactive Systems
Abstract:
Předložené teze obsahují nové výsledky z oblasti algoritmické analýzy nekonečně stavových stochastických grafových her. Tyto hry je možné využít k modelování diskrétních reaktivních systémů, tj. systémů, které nějakým způsobem interagují s okolním prostředím či s uživatelem. Konkrétně se práce zabývá jednak otázkou determinovanosti obecných nekonečně stavových her s neohraničenou výherní funkcí, jednak …more
Abstract:
The thesis proposal contains new results from the area of an algorithmic analysis of infinite-state stochastic graph games. Such games can be used to model various discrete reactive systems, i.e., systems that in some way react to the inputs from the user or from the environment. The thesis proposal covers two main topics: the determinacy of general infinite-state graph games with unbounded payoff …more
 

Keywords

algoritmická teorie her grafové hry Markovovské rozhodovací procesy formální model reaktivní systém algorithmic game theory graph games Markov Decision Process formal model reactive system
 
Language used: English
Date on which the thesis was submitted / produced: 19. 11. 2012
Identifier: https://is.muni.cz/th/kc7zm/

Thesis defence

  • Date of defence: 7. 1. 2013
  • Reader: Ph.D. Krishnendu Chatterjee, prof. RNDr. Mojmír Křetínský, CSc.

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