Bezpečnostní hry v extenzivní formě

Poskytovatel

Grantová agentura České republiky

Program

Standardní projekty

Veřejná soutěž

Standardní projekty 15 (SGA02012GA-ST)

Hlavní účastníci

—

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

P202-12-2054

Název projektu anglicky

Security Games in Extensive Form

Anotace anglicky

Game theory provides theoretical and algorithmic foundations for the field of multi-agent systems. One class of problems where it proved to be very useful, are the security games. These games model interactions between a defender, which allocates limitedresources to protect a set of targets and an attacker who tries to attack an unprotected target. Security games and their solution concepts have been recently widely analyzed theoretically and constitute the core of several successfully deployed systems. While successful in some domains, it is a quite restricted model inapplicable elsewhere. It does not allow modeling attacks with multiple actions succeeding in time or defender adapting its strategy based on observations. In order to remove these limitations, we propose to extend the model and define the extensive form security games (EFSG). We will establish computational complexity bounds of finding the optimal strategies for the defender in variants of the game. Based on the analysis, we will design exact and approximative algorithms for computing these strategies.

Kategorie VaV

ZV - Základní výzkum

CEP - hlavní obor

IN - Informatika

CEP - vedlejší obor

—

CEP - další vedlejší obor

—

OECD FORD - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Hodnocení poskytovatelem

V - Vynikající výsledky projektu (s mezinárodním významem atd.)

Zhodnocení výsledků projektu

Projekt vyvinul nové algoritmy pro řešení konečných sekvenčních her s nulovým součtem (jak exaktní, tak aproximativní), nové algoritmy zlepšují rychlost a škálovatelnost řešení v praktických aplikacích. Projekt celkově podal velmi dobré výsledky, ve vět?

Zahájení řešení

1. 1. 2012

Ukončení řešení

31. 12. 2014

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

18. 4. 2014

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

CEP15-GA0-GA-U/01:1

Datum dodání záznamu

22. 5. 2015

Celkové uznané náklady

4 581 tis. Kč

Výše podpory ze státního rozpočtu

4 581 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

Neveřejné tuz. a zahr. zdroje finan.

0 tis. Kč