RNDr. Michal Ajdarów
Institut teoretické informatiky
| e‑mail: |
|
|---|
Publikace
Počet publikací: 3
2023
-
Asymptotic Complexity Estimates for Probabilistic Programs and their VASS Abstractions
34th International Conference on Concurrency Theory (CONCUR 2023), rok: 2023
-
Shielding in Resource-Constrained Goal POMDPs
Proceedings of the 37th AAAI Conference on Artificial Intelligence, rok: 2023
2021
-
Deciding Polynomial Termination Complexity for VASS Programs
32nd International Conference on Concurrency Theory (CONCUR 2021), rok: 2021