← Search

Petr Novotný

5 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…

2024

Solving Long-run Average Reward Robust MDPs via Stochastic Games

IJCAI 2024poster

Markov decision processes (MDPs) provide a standard framework for sequential decision making under uncertainty. However, MDPs do not take uncertainty in transition probabilities into account. Robust Markov decision processes (RMDPs) address this shortcoming of MDPs by assigning to each transition an…

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
2022

On-the-fly adaptation of patrolling strategies in changing environments

UAI 2022poster

We consider the problem of efficient patrolling strategy adaptation in a changing environment where the topology of Defender’s moves and the importance of guarded targets change unpredictably. The Defender must instantly switch to a new strategy optimized for the new environment, not disrupting the…

Cited by 4SourcePDFScholar