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…
cs.MA2023
Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems
David Klaška, Antonín Kučera, Martin Kurečka +3
We consider the problem of synthesizing resilient and stochastically stable strategies for systems of cooperating agents striving to minimize the expected time between consecutive…