Bc. Filip Štefaňák

Master's thesis

Equilibria in non-zero-sum reachability games

Equilibria in non-zero-sum reachability games
Anotácia:
Cieľom práce je predstaviť modelovací jazyk pre hry s nenulovým súčtom s viacerými hráčmi, kde hra je reprezentovaná ako orientovaný graf so zložitou štruktúrou a hráči sa snažia dosiahnuť určitý stav. Ďalej vyriešiť, ako sa pre ľubovoľnú takúto hru dajú nájsť a reprezentovať Nashove rovnováhy. Práca by mala preskúmať viaceré možnosti, čo sa týka vyjadrovacej sily hier (hry, kde hráči konajú súbežne …viac
Abstract:
Objective of the thesis is to describe a modeling formalism for non-zero-sum games with multiple players with reachability objectives, where the game is represented as an oriented graph with complex structure, and solve how Nash equilibria can be found and presented for each game instance. The thesis should explore multiple possibilities both with regards to the expressive power of the games (concurrent …viac
 
 
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 28. 5. 2012

Obhajoba závěrečné práce

  • Obhajoba proběhla 26. 6. 2012
  • Vedúci: prof. RNDr. Ivana Černá, CSc.
  • Oponent: doc. Mgr. Jan Obdržálek, PhD.

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 informatiky

Masaryk University

Faculty of Informatics

Master programme / odbor:
Informatics / Parallel and Distributed Systems