Informace o projektu
Efektivní analýza a optimalizace pravděpodobnostních systémů a her
(Efektivní analýza a optimalizace pravděpodobnostní)
- Kód projektu
- GA21-24711S
- Období řešení
- 1/2021 - 12/2023
- Investor / Programový rámec / typ projektu
-
Grantová agentura ČR
- Standardní projekty
- Fakulta / Pracoviště MU
- Fakulta informatiky
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.
Cíle udržitelného rozvoje
Masarykova univerzita se hlásí k cílům udržitelného rozvoje OSN, jejichž záměrem je do roku 2030 zlepšit podmínky a kvalitu života na naší planetě.
Publikace
Počet publikací: 12
2024
-
The Finite Satisfiability Problem for PCTL is Undecidable
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, rok: 2024
-
The satisfiability problem for a quantitative fragment of PCTL
Journal of Computer and System Sciences, rok: 2024, ročník: 139, vydání: 103478, DOI
2023
-
Asymptotic Complexity Estimates for Probabilistic Programs and their VASS Abstractions
34th International Conference on Concurrency Theory (CONCUR 2023), rok: 2023
-
Efficient Strategy Synthesis for MDPs With Resource Constraints
IEEE Transactions on Automatic Control, rok: 2023, ročník: 68, vydání: 8, DOI
-
Mean Payoff Optimization for Systems of Periodic Service and Maintenance
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023,, rok: 2023
-
On Lexicographic Proof Rules for Probabilistic Termination
Formal Aspects of Computing, rok: 2023, ročník: 35, vydání: 2, DOI
-
Shielding in Resource-Constrained Goal POMDPs
Proceedings of the 37th AAAI Conference on Artificial Intelligence, rok: 2023
2022
-
General Optimization Framework for Recurrent Reachability Objectives
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, rok: 2022
-
Satisfiability of Quantitative Probabilistic CTL: Rise to the Challenge
Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, rok: 2022
2021
-
Algorithmic Analysis of Termination and Counter Complexity in Vector Addition Systems with States: A Survey of Recent Results
ACM SIGLOG News, rok: 2021, ročník: 8, vydání: 4, DOI