Mgr. Bc. Petr Novotný

Rigorózní práce

Modeling and Verification of Infinite-State Reactive Systems

Modeling and Verification of Infinite-State Reactive Systems
Anotace:
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 …více
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 …více
 
 
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 19. 11. 2012

Obhajoba závěrečné práce

  • Obhajoba proběhla 7. 1. 2013
  • Oponent: Ph.D. Krishnendu Chatterjee, prof. RNDr. Mojmír Křetínský, 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 informatiky