Bc. Filip Štefaňák

Master's thesis

Equilibria in non-zero-sum reachability games

Equilibria in non-zero-sum reachability games
Abstract:
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 …more
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 …more
 
 
Language used: English
Date on which the thesis was submitted / produced: 28. 5. 2012

Thesis defence

  • Date of defence: 26. 6. 2012
  • Supervisor: prof. RNDr. Ivana Černá, CSc.
  • Reader: doc. Mgr. Jan Obdržálek, PhD.

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 informatiky

Masaryk University

Faculty of Informatics

Master programme / field:
Informatics / Parallel and Distributed Systems