Modeling and Verification of Infinite-State Reactive Systems – Mgr. Bc. Petr Novotný
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 …moreAbstract:
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
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.
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 informatikyMasaryk University
Faculty of InformaticsAdvanced ('rigorózní řízení') programme / field:
Informatics / Informatics
Theses on a related topic
-
Algoritmická analýza bezpečnostních her
Tomáš Lamser -
Synthesizing Resource-Shielded Policies for Partially Observable Markov Decision Processes
Šimon Brlej -
Efficient Verification of Multi-Objective Queries in Markov Decision Processes
Vít Unčovský -
Markov Decision Processes with Multiple Resource Constraints
Jaroslav Pospíšek -
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 -
Quantitative Linear-Time Model Checking
Jana Tůmová -
Toward an Automated Feedback System in Educational Cybersecurity Games
Valdemar Švábenský