Algorithms for Infinite-State Discrete Systems and Games
Project goals
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.
Keywords
verificationstochastic gamesgame theoryinfinite-state systems
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
Standardní projekty 22 (SGA0201800001)
Main participants
Masarykova univerzita / Fakulta informatiky
Contest type
VS - Public tender
Contract ID
18-11193S
Alternative language
Project name in Czech
Algoritmy pro diskrétní systémy a hry s nekonečně mnoha stavy
Annotation in Czech
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.
Scientific branches
R&D category
ZV - Basic research
OECD FORD - main branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
OECD FORD - secondary branch
—
OECD FORD - another secondary branch
—
AF - Documentation, librarianship, work with information
BC - Theory and management systems
BD - Information theory
IN - Informatics
Solution timeline
Realization period - beginning
Jan 1, 2018
Realization period - end
Dec 31, 2020
Project status
—
Latest support payment
Apr 24, 2020
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP21-GA0-GA-R/11:1
Data delivery date
Feb 22, 2021
Finance
Total approved costs
9,463 thou. CZK
Public financial support
5,660 thou. CZK
Other public sources
3,876 thou. CZK
Non public and foreign sources
0 thou. CZK
Basic information
Recognised costs
9 463 CZK thou.
Public support
5 660 CZK thou.
59%
Provider
Czech Science Foundation
OECD FORD
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Solution period
01. 01. 2018 - 31. 12. 2020