3 papers
cs.GT2024
Bidding Games on Markov Decision Processes with Quantitative Reachability Objectives
Guy Avni, Martin Kurečka, Kaushik Mallik +2
Graph games are fundamental in strategic reasoning of multi-agent systems and their environments. We study a new family of graph games which combine stochastic environmental uncert…
cs.AI2024
Threshold UCT: Cost-Constrained Monte Carlo Tree Search with Pareto Curves
Martin Kurečka, Václav Nevyhoštěný, Petr Novotný +1
Constrained Markov decision processes (CMDPs), in which the agent optimizes expected payoffs while keeping the expected cost below a given threshold, are the leading framework for…
math.CO2020
Lower bound on the size of a quasirandom forcing set of permutations
Martin Kurecka
A set of permutations is forcing if for any sequence of permutations where the density converges to for every permutati…