Informace o projektu

Algoritmy pro diskrétní systémy a hry s nekonečně mnoha stavy

Logo poskytovatele
Kód projektu
GA18-11193S
Období řešení
1/2018 - 12/2020
Investor / Programový rámec / typ projektu
Grantová agentura ČR
Fakulta / Pracoviště MU
Fakulta informatiky
Spolupracující organizace
Univerzita Palackého v Olomouci

Algoritmická teorie her poskytuje modelovací a analytické prostředky hojně využívané v různých oblastech informatiky, včetně formální verifikace a multi-agentních systémů. V rámci projektu je věnována speciální pozornost hrám s nekonečnou arénou a také hrám modelujícím chování agentů v diskrétním prostředí. Přestože tyto typy her se zkoumají v různých kontextech (formální verifikace vs. umělá inteligence), jejich základní charakteristiky jsou podobné a k jejich řešení je možné kombinovat metodologie z obou oblastí. Projekt je zaměřen na řešení otevřených problémů o tomto typu her, které zahrnují fundamentální otázky týkající se existence rovnovážných stavů, optimálních strategií a existence algoritmů pro jejich konstrukci.

Publikace

2019

2018