← Search

Martin Kurečka

2 accepted papers

2025

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

AAAI 2025technical

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 safe sequential decision making under stochastic uncertainty. Among algorithms for planning and learning in CMDPs, metho…

2023

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

IJCAI 2023poster

We consider the problem of synthesizing resilient and stochastically stable strategies for systems of cooperating agents striving to minimize the expected time between consecutive visits to selected locations in a known environment. A strategy profile is resilient if it retains its functionality eve…

Cited by 2SourcePDFScholar