Modeling and Verification of Infinite-State Reactive Systems – Mgr. Bc. Petr Novotný
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íceAbstract:
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
Identifikátor:
https://is.muni.cz/th/kc7zm/
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.
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 informatikyMasarykova univerzita
Fakulta informatikyRigorózní řízení / obor:
Informatika / Informatika
Práce na příbuzné téma
-
Algoritmická analýza bezpečnostních her
Tomáš Lamser -
Synthesizing Resource-Shielded Policies for Partially Observable Markov Decision Processes
Šimon Brlej -
Markov Decision Processes with Multiple Resource Constraints
Jaroslav Pospíšek -
Efficient Verification of Multi-Objective Queries in Markov Decision Processes
Vít Unčovský -
Vacant taxi routing in Markov Decision Process (MDP)
Nurbulat Shektbayev -
Monte Carlo Tree Search in Verification of Markov Decision Processes
Ondřej Slámečka -
Amyloid precursor protein induces reactive astrogliosis
Gretsen Velezmoro Jauregui -
Quantitative Linear-Time Model Checking
Jana Tůmová