Martin Kurecka

According to our database, Martin Kurecka authored at least 4 papers between 2022 and 2025.

Collaborative distances:

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

2025

Bidding Games on Markov Decision Processes with Quantitative Reachability Objectives.

Guy Avni, Martin Kurecka, Kaushik Mallik, Petr Novotný, Suman Sadhukhan

Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, 2025

Threshold UCT: Cost-Constrained Monte Carlo Tree Search with Pareto Curves.

Martin Kurecka, Václav Nevyhostený, Petr Novotný, Vít Uncovský

Proceedings of the AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25, 2025

2023

Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems.

David Klaska, Antonín Kucera, Martin Kurecka, Vít Musil, Petr Novotný, Vojtech Rehák

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

2022

Lower bound on the size of a quasirandom forcing set of permutations.

Martin Kurecka

Comb. Probab. Comput., 2022