Michal Ajdarów

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

Collaborative distances:

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

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