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)
Disertační práce
Controller Synthesis for Markov Decision Processes with Branching - Time Objectives
Controller Synthesis for Markov Decision Processes with Branching - Time Objectives
Anotace:
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ů …víceAbstract:
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 …více
Jazyk práce: angličtina
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
- Vedoucí: 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 informatikyMasarykova univerzita
Fakulta informatikyDoktorský studijní program / obor:
Informatika (čtyřleté) / Informatika
Práce na příbuzné téma
-
Markov Decision Processes with Multiple Resource Constraints
Jaroslav Pospíšek -
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 -
Synthesizing Resource-Shielded Policies for Partially Observable Markov Decision Processes
Šimon Brlej -
Monte Carlo Tree Search in Verification of Markov Decision Processes
Ondřej Slámeč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 -
Fundamental Properties of Probabilistic Branching-Time Logics
Jan Křetínský