Controller Synthesis for Markov Decision Processes with Branching - Time Objectives – RNDr. Vojtěch Forejt, Ph.D., LL.B. (Hons)
RNDr. Vojtěch Forejt, Ph.D., LL.B. (Hons)
Doctoral thesis
Controller Synthesis for Markov Decision Processes with Branching - Time Objectives
Controller Synthesis for Markov Decision Processes with Branching - Time Objectives
Anotácia:
Tato práce obsahuje výsledky z oblasti syntézy plánovačů pro konečněstavové Markovovy rozhodovací procesy a logiky větvícího se času. Markovovův rozhodovací proces je pravděpodobnostní systém často využívaný při modelování skutečných systémů, ve kterých se vyskytuje jak nedeterministické, tak pravděpodobnostní chování. Logiky větvícího se času umožňují vyjádřit požadované vlastnosti těchto systémů …viacAbstract:
This thesis studies controller synthesis and verification problems for finite state Markov decision processes and branching-time logics. Markov decision processes are probabilistic systems that arise naturally in modelling of real-life systems with both nondeterministic and stochastic behaviour, while branching-time logics are formalisms allowing one to reason about properties of systems. The controller …viac
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 3. 11. 2009
Identifikátor:
https://is.muni.cz/th/yvwbl/
Obhajoba závěrečné práce
- Obhajoba proběhla 17. 12. 2009
- Vedúci: prof. RNDr. Antonín Kučera, Ph.D.
- Oponent: prof. RNDr. Petr Jančar, CSc., Patricia Bouyer-Decitre
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 informatikyMasaryk University
Faculty of InformaticsDoctoral programme / odbor:
Informatics (4-years) / Informatics
Práce na příbuzné téma
-
Markov Decision Processes with Multiple Resource Constraints
Jaroslav Pospíšek -
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ý -
Pareto Front Estimation in Risk-Constrained Markov Decision Processes
Martin Kurečka -
Unified View on Multiple Mean-Payoff Objectives in Markov Decision Processes
Zuzana Komárková -
Reinforcement Learning of Risk-Averse Policies in Markov Decision Processes
Jiří Vahala -
Monte Carlo Tree Search in Verification of Markov Decision Processes
Ondřej Slámečka -
Fundamental Properties of Probabilistic Branching-Time Logics
Jan Křetínský