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
Anotácia:
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 …viac
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 23. 5. 2024
Identifikátor:
https://is.muni.cz/th/cko6q/
Obhajoba závěrečné práce
- Obhajoba proběhla 24. 6. 2024
- Vedúci: doc. RNDr. Petr Novotný, Ph.D.
- Oponent: RNDr. David Klaška
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 InformaticsBachelor programme / odbor:
Informatics / Informatics
Práce na příbuzné téma
-
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š