Markov Decision Processes with Multiple Resource Constraints – Bc. Jaroslav Pospíšek
Bc. Jaroslav Pospíšek
Bachelor's thesis
Markov Decision Processes with Multiple Resource Constraints
Markov Decision Processes with Multiple Resource Constraints
Abstract:
V práci studujeme tvorbu strategie ve vícezdrojovém CMDP. Formulujeme algoritmy pro řešení problémů safety a reachability, dokazujeme jejich korektnost a studujeme jejich náročnost.Abstract:
Consumption Markov Decision Processes (CMDPs) are probabilistic models of resource-constrained systems used to study the decision-making of an agent. Each action the agent takes has an associated cost, while the agent has some amount of available resources. These resources can only be reloaded in special reload states. The task of the agent is to keep the amount of each resource positive. We study …more
Language used: English
Date on which the thesis was submitted / produced: 23. 5. 2024
Identifier:
https://is.muni.cz/th/cko6q/
Thesis defence
- Date of defence: 24. 6. 2024
- Supervisor: doc. RNDr. Petr Novotný, Ph.D.
- Reader: RNDr. David Klaška
Citation record
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 InformaticsBachelor programme / field:
Informatics / Informatics
Theses on a related topic
-
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ý -
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 -
Extending the Synthesis Algorithm for Consumption MDPs with LTL Objectives
Dávid Meluš -
Extending the Synthesis Algorithm for Consumption MDPs with LTL Objectives
Dávid Meluš