Publikace
Počet publikací: 4
Články
-
The Satisfiability Problem for a Quantitative Fragment of PCTL
Journal of Computer and System Sciences, rok: 2023
Články ve sbornících
-
Asymptotic Complexity Estimates for Probabilistic Programs and their VASS Abstractions
34th International Conference on Concurrency Theory (CONCUR 2023), rok: 2023
-
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
-
Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023,, rok: 2023