Efektivní analýza a optimalizace pravděpodobnostních systémů a her

Poskytovatel

Grantová agentura České republiky

Program

Standardní projekty

Veřejná soutěž

SGA0202100005

Hlavní účastníci

Masarykova univerzita / Fakulta informatiky

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

21-24711S

Název projektu anglicky

Efficient Analysis and Optimization for Probabilistic Systems and Games

Anotace anglicky

The project concentrates on open problems at the cutting-edge of current research in probabilistic systems and games. Special attention is devoted to algorithmic analysis and verification for probabilistic systems with multiple unbounded resources, such as vector addition systems with states or parameterized systems, and to multi-objective strategy synthesis for these models. The proposed methodology combines well-established techniques of formal verification and artificial intelligence and benefits from their synergy.

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

Zahájení řešení

1. 4. 2021

Ukončení řešení

31. 12. 2023

Poslední stav řešení

K - Končící víceletý projekt

Poslední uvolnění podpory

11. 5. 2022

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

CEP23-GA0-GA-R

Datum dodání záznamu

20. 2. 2023

Celkové uznané náklady

8 519 tis. Kč

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

5 933 tis. Kč

Ostatní veřejné zdroje financování

2 523 tis. Kč

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

0 tis. Kč