Martin Kurecka

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

Collaborative distances:

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

2024

Bidding Games on Markov Decision Processes with Quantitative Reachability Objectives.

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

CoRR, 2024

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

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

CoRR, 2024

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