Diplomová práce

Efficient analysis of stochastic consumption games

Bc. Martin Kučera, učo 396248
Anotace

Stochastické hry so spotrebou sú hry dvoch antagonistických hráčov, hráča 1 a hráča 2 s nekonečným horizontom. Počas hry sa spotrebúva zdroj, ktorý je možno vo vybraných stavoch doplniť na plnú kapacitu. Hlavným predmetom našej štúdie je dosiahnuteľnosť, kde cieľom hráča 1 je dosiahnuť niektorý z požadovaných cieľových stavov pričom úroveň hodnoty zdroja musí byť neustále nezáporná (teda sa zdroj nesmie …více

Abstract

Stochastic consumption games are stochastic games of two antagonistic players player 1 and player 2 with an infinite horizon. During the game a level of a diminishing resource is kept. At designated reloading states, the resource can be reloaded to full capacity. The main objective we study is consumption-reachability, where the goal of the player 1 is to reach a designated set of target states while …více

Klíčová slova
game theory games on graphs Markov decission processes stochastic games energy games consumption games one-counter stochastic games
Zadání práce
The goal of the thesis is to study two-player stochastic consumption games with one resource. The main goal is to develop an efficient algorithm for solving the reachability problem. The algorithm should be implemented and tested using the PRISM model checker. In addition, the thesis should provide an overview of existing results in the area of decision processes and games with counters.
Administrativní informace
Práce zkontrolována:
31. 5. 2016 11:00, doc. RNDr. Tomáš Brázdil, Ph.D., MBA, učo 4074
Plný text práce
623 KB / soubor PDF
Přílohy (1)
Jazyk práce
angličtina angličtina
Termín obhajoby
30. 6. 2016
Práce byla úspěšně obhájena

Vedoucí

doc. RNDr. Tomáš Brázdil, Ph.D., MBA, učo 4074
ITI FI MU

Oponent

doc. Mgr. Jan Obdržálek, PhD., učo 1552
ITI FI MU
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Informatika
Obor

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Podobné práce

  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.