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
2024
-
The Finite Satisfiability Problem for PCTL is Undecidable
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, year: 2024
-
The satisfiability problem for a quantitative fragment of PCTL
Journal of Computer and System Sciences, year: 2024, volume: 139, edition: 103478, DOI
2023
-
Asymptotic Complexity Estimates for Probabilistic Programs and their VASS Abstractions
34th International Conference on Concurrency Theory (CONCUR 2023), year: 2023
-
Efficient Strategy Synthesis for MDPs With Resource Constraints
IEEE Transactions on Automatic Control, year: 2023, volume: 68, edition: 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,, year: 2023
-
On Lexicographic Proof Rules for Probabilistic Termination
Formal Aspects of Computing, year: 2023, volume: 35, edition: 2, DOI
-
Shielding in Resource-Constrained Goal POMDPs
Proceedings of the 37th AAAI Conference on Artificial Intelligence, year: 2023
2022
-
General Optimization Framework for Recurrent Reachability Objectives
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, year: 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, year: 2022
2021
-
Algorithmic Analysis of Termination and Counter Complexity in Vector Addition Systems with States: A Survey of Recent Results
ACM SIGLOG News, year: 2021, volume: 8, edition: 4, DOI