Lower bound on the size of a quasirandom forcing set of permutations. - Martin Kurecka (Comb. Probab. Comput., 2022)

Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems. - David Klaska; Antonín Kucera 001; Martin Kurecka; Vít Musil; Petr Novotný 001; Vojtech Rehák (IJCAI, 2023)

Threshold UCT: Cost-Constrained Monte Carlo Tree Search with Pareto Curves. - Martin Kurecka; Václav Nevyhostený; Petr Novotný 001; Vít Uncovský (AAAI, 2025)

Bidding Games on Markov Decision Processes with Quantitative Reachability Objectives. - Guy Avni; Martin Kurecka; Kaushik Mallik; Petr Novotný 001; Suman Sadhukhan (AAMAS, 2025)