Michal Ajdarów

11 papers A* 2B 2Journal 5Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Efficient Analysis of Polynomial Asymptotic Estimates for VASS MDPs.
CoRR
Michal Ajdarów
2025 A* conf
Taming Infinity One Chunk at a Time: Concisely Represented Strategies in One-Counter MDPs.
ICALP
Michal Ajdarów, James C. A. Main, Petr Novotný, Mickael Randour
2025 J jnl
Taming Infinity one Chunk at a Time: Concisely Represented Strategies in One-Counter MDPs.
CoRR
Michal Ajdarów, James C. A. Main, Petr Novotný, Mickael Randour
2024 — conf
Asymptotic Analysis of Probabilistic Programs: When Expectations Do Not Meet Our Expectations.
Principles of Verification (1)
Michal Ajdarów, Antonín Kucera, Petr Novotný
2023 B conf
Asymptotic Complexity Estimates for Probabilistic Programs and Their VASS Abstractions.
CONCUR
Michal Ajdarów, Antonín Kucera
2023 J jnl
Asymptotic Complexity Estimates for Probabilistic Programs and their VASS Abstractions.
CoRR
Michal Ajdarów, Antonín Kucera
2023 A* conf
Shielding in Resource-Constrained Goal POMDPs.
AAAI
Michal Ajdarów, Simon Brlej, Petr Novotný
2022 J jnl
Shielding in Resource-Constrained Goal POMDPs.
CoRR
Michal Ajdarów, Simon Brlej, Petr Novotný
2021 B conf
Deciding Polynomial Termination Complexity for VASS Programs.
CONCUR
Michal Ajdarów, Antonín Kucera
2021 J jnl
Deciding Polynomial Termination Complexity for VASS Programs.
CoRR
Michal Ajdarów, Antonín Kucera
2017 — conf
Minimality problems for promise versions of finite automata.
NCMA
Michal Ajdarów