关注
Michal Ajdarów
Michal Ajdarów
未知所在单位机构
在 mail.muni.cz 的电子邮件经过验证
标题
引用次数
引用次数
年份
Shielding in resource-constrained goal pomdps
M Ajdarów, Š Brlej, P Novotný
Proceedings of the AAAI Conference on Artificial Intelligence 37 (12), 14674 …, 2023
52023
Deciding polynomial termination complexity for VASS programs
M Ajdarów, A Kučera
arXiv preprint arXiv:2102.06889, 2021
42021
Asymptotic Complexity Estimates for Probabilistic Programs and Their VASS Abstractions
M Ajdarów, A Kučera
arXiv preprint arXiv:2307.04707, 2023
12023
Minimality problems for promise versions of finite automata.
M Ajdarów
NCMA, 41-55, 2017
2017
Partially Observable Markov Decision Processes with Consumption Objectives
M Ajdarów
Algorithmic Asymptotic Analysis of Infinite-State Systems
M Ajdarów
系统目前无法执行此操作，请稍后再试。
文章 1–6