RNDr. Michal Ajdarów

Institute for Theoretical Computer Science

E‑mail:

Basic information

Type

Total number of publications: 3

2023

Asymptotic Complexity Estimates for Probabilistic Programs and their VASS Abstractions

AJDARÓW Michal KUČERA Antonín

Article in Proceedings

34th International Conference on Concurrency Theory (CONCUR 2023), year: 2023
Shielding in Resource-Constrained Goal POMDPs

AJDARÓW Michal BRLEJ Šimon NOVOTNÝ Petr

Article in Proceedings

Proceedings of the 37th AAAI Conference on Artificial Intelligence, year: 2023

2021

Deciding Polynomial Termination Complexity for VASS Programs

AJDARÓW Michal KUČERA Antonín

Article in Proceedings

32nd International Conference on Concurrency Theory (CONCUR 2021), year: 2021