Michal Ajdarw
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2021–2026
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CONCUR | Reachability in Fixed-Dimensional Continuous VASS. | Michal Ajdarw, A. R. Balasubramanian, Lukasz Orlikowski |
| 2025 | ICALP | Taming Infinity One Chunk at a Time: Concisely Represented Strategies in One-Counter MDPs. | Michal Ajdarw, James C. A. Main, Petr Novotn, Mickael Randour |
| 2023 | AAAI | Shielding in Resource-Constrained Goal POMDPs. | Michal Ajdarw, Simon Brlej, Petr Novotn |
| 2023 | CONCUR | Asymptotic Complexity Estimates for Probabilistic Programs and Their VASS Abstractions. | Michal Ajdarw, Antonn Kucera |
| 2021 | CONCUR | Deciding Polynomial Termination Complexity for VASS Programs. | Michal Ajdarw, Antonn Kucera |