Teorie her jako prostředek pro formální analýzu a verifikaci počítačových systémů
Veřejná podpora
Poskytovatel
Grantová agentura České republiky
Program
Standardní projekty
Veřejná soutěž
Standardní projekty 19 (SGA0201500001)
Hlavní účastníci
Masarykova univerzita / Fakulta informatiky
Druh soutěže
VS - Veřejná soutěž
Číslo smlouvy
15-17564S
Alternativní jazyk
Název projektu anglicky
Game Theory in Formal Analysis and Verification of Computer Systems
Anotace anglicky
The project is focussed on the development of game-theoretic methods and algorithms for formal analysis and verification of interactive computer systems. The behaviour of such systems can be understood as a game of two players, the system and its environment, whose objectives are antagonistic---the system aims at satisfying the desired property, while the environment aims at the opposite. Thus, questions about the correctness, safety, security, and efficiency of a given system can be formulated in game theoretic terms and solved by game theoretic methods.
Vědní obory
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í dokončeného projektu
Hodnocení poskytovatelem
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Zhodnocení výsledků projektu
Projekt přináší nové poznatky ve všech třech výzkumných směrech: základy her s neúplnou informací, efektivní algoritmy pro řešení her s velkým nebo částečně neznámým prostorem i algoritmy pro kontrolovatelné stochastické Petriho sítě. Výsledky byly publikovány v impaktových časopisech a na špičkových (CORE A* a CORE A) mezinárodních konferencích. Finanční prostředky byly čerpány účelně.
Termíny řešení
Zahájení řešení
1. 1. 2015
Ukončení řešení
31. 12. 2017
Poslední stav řešení
U - Ukončený projekt
Poslední uvolnění podpory
5. 4. 2017
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
CEP18-GA0-GA-U/02:1
Datum dodání záznamu
4. 5. 2018
Finance
Celkové uznané náklady
6 743 tis. Kč
Výše podpory ze státního rozpočtu
6 743 tis. Kč
Ostatní veřejné zdroje financování
0 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč