Algoritmy pro diskrétní systémy a hry s nekonečně mnoha stavy
Veřejná podpora
Poskytovatel
Grantová agentura České republiky
Program
Standardní projekty
Veřejná soutěž
Standardní projekty 22 (SGA0201800001)
Hlavní účastníci
Masarykova univerzita / Fakulta informatiky
Druh soutěže
VS - Veřejná soutěž
Číslo smlouvy
18-11193S
Alternativní jazyk
Název projektu anglicky
Algorithms for Infinite-State Discrete Systems and Games
Anotace anglicky
Algorithmic game theory provides convenient tools for modeling and analysis of problems related to formal verification and multi-agent planning. In the framework of the proposed project, special attention is devoted to games with infinitely many states and to games of multi-agent planning. Although these games are used in different contexts (formal verification vs. artificial intelligence), they share many common features, which enables the transfer and combination of methodologies developed in these areas. The project aims at solving fundamental open problems for these games.
Vědní obory
Kategorie VaV
ZV - Základní výzkum
OECD FORD - hlavní obor
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
OECD FORD - vedlejší obor
—
OECD FORD - další vedlejší obor
—
CEP - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)
AF - Dokumentace, knihovnictví, práce s informacemi<br>BC - Teorie a systémy řízení<br>BD - Teorie informace<br>IN - Informatika
Termíny řešení
Zahájení řešení
1. 1. 2018
Ukončení řešení
31. 12. 2020
Poslední stav řešení
—
Poslední uvolnění podpory
24. 4. 2020
Dodání dat do CEP
Důvěrnost údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Systémové označení dodávky dat
CEP21-GA0-GA-R/11:1
Datum dodání záznamu
22. 2. 2021
Finance
Celkové uznané náklady
9 463 tis. Kč
Výše podpory ze státního rozpočtu
5 660 tis. Kč
Ostatní veřejné zdroje financování
3 876 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč