Bc. Filip Štefaňák

Diplomová práce

Equilibria in non-zero-sum reachability games

Equilibria in non-zero-sum reachability games
Anotace:
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 …více
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 …více
 
 
Jazyk práce: angličtina
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
  • Vedoucí: 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