Michal Ajdarów

According to our database, Michal Ajdarów authored at least 5 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Asymptotic Analysis of Probabilistic Programs: When Expectations Do Not Meet Our Expectations.

Michal Ajdarów, Antonín Kucera, Petr Novotný

Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024

2023

Asymptotic Complexity Estimates for Probabilistic Programs and Their VASS Abstractions.

Michal Ajdarów, Antonín Kucera

Proceedings of the 34th International Conference on Concurrency Theory, 2023

Shielding in Resource-Constrained Goal POMDPs.

Michal Ajdarów, Simon Brlej, Petr Novotný

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2021

Deciding Polynomial Termination Complexity for VASS Programs.

Michal Ajdarów, Antonín Kucera

Proceedings of the 32nd International Conference on Concurrency Theory, 2021

2017

Minimality problems for promise versions of finite automata.

Michal Ajdarów

Proceedings of the Ninth Workshop on Non-Classical Models of Automata and Applications, 2017