Project information
Efektivní analýza a optimalizace pravděpodobnostních systémů a her
(Efektivní analýza a optimalizace pravděpodobnostní)
- Project Identification
- GA21-24711S
- Project Period
- 1/2021 - 12/2023
- Investor / Pogramme / Project type
-
Czech Science Foundation
- Standard Projects
- MU Faculty or unit
- Faculty of Informatics
Projekt je orientován na otevřené problémy hraničního výzkumu v oblasti pravděpodobnostních systémů a her. Zvláštní pozornost je věnována algoritmické analýze a verifikaci pravděpodobnostních systémů s neomezenými zdroji, jako jsou např. automaty s čítači nebo parametrizované systémy, a také problematice multikriteriální optimalizace pro tyto systémy. Navrhovaná metodologie řešení kombinuje klasické metody formální verifikace s metodami umělé inteligence.
Cílem projektu je získat nové fundamentální poznatky a navrhnout efektivní algoritmy for analýzu, verifikaci a optimalizaci pravděpodobnostních systémů. Zvláštní důraz je kladen na vybrané třídy systémů s neohraničenými parametry.
Sustainable Development Goals
Masaryk University is committed to the UN Sustainable Development Goals, which aim to improve the conditions and quality of life on our planet by 2030.
Publications
Total number of publications: 12
2021
-
Deciding Polynomial Termination Complexity for VASS Programs
32nd International Conference on Concurrency Theory (CONCUR 2021), year: 2021
-
The Satisfiability Problem for a Quantitative Fragment of PCTL
Fundamentals of Computation Theory. 23rd International Symposium, FCT 2021, year: 2021