EDBT 2026 Demo / reviewers in the wild / expert
Václav Nevyhostený
dblp:395/4569
· DBLP profile ↗
1ranked-venue papers
0as first author
1since 2021 · last 2025
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 1 · 1 since 2021Graphics, computer vision, multimedia, augmented reality and games · 1 · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Artificial intelligence
1 paper |
Reinforcement learning · 61% Planning, search and constraint satisfaction · 39% |
Topics — the 4 heaviest of 5, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Machine learning › Reinforcement learning › markov decision process
constrained markov decision process |
0.9 | 1 | 2025 | Threshold UCT: Cost-Constrained Monte Carlo Tree Search with Pareto Curves · AAAI 2025 |
Knowledge, reasoning and agents › Planning, search and constraint satisfaction › game tree search
monte carlo tree search |
0.9 | 1 | 2025 | Threshold UCT: Cost-Constrained Monte Carlo Tree Search with Pareto Curves · AAAI 2025 |
Machine learning › Reinforcement learning
safe reinforcement learning |
0.9 | 1 | 2025 | Threshold UCT: Cost-Constrained Monte Carlo Tree Search with Pareto Curves · AAAI 2025 |
Knowledge, reasoning and agents › Planning, search and constraint satisfaction › planning
online planning |
0.3 | 1 | 2025 | Threshold UCT: Cost-Constrained Monte Carlo Tree Search with Pareto Curves · AAAI 2025 |
Methods — techniques the papers use, named apart from their topics
upper confidence bound · 0.9pareto curve estimation · 0.9
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Threshold UCT: Cost-Constrained Monte Carlo Tree Search with Pareto CurvesabstractConstrained 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, methods based on Monte Carlo tree search (MCTS) have particular importance due to their efficiency and extendibility to more complex frameworks (such as partially observable settings and games). However, current MCTS-based methods for CMDPs either struggle with finding safe (i.e., constraint-satisfying) policies, or are too conservative and do not find valuable policies. We introduce Threshold UCT (T-UCT), an online MCTS-based algorithm for CMDP planning. Unlike previous MCTS-based CMDP planners, T-UCT explicitly estimates Pareto curves of cost-utility trade-offs throughout the search tree, using these together with a novel action selection and threshold update rule to seek safe and valuable policies. Our experiments demonstrate that our approach significantly outperforms state-of-the-art methods from the literature. Martin Kurecka, Václav Nevyhostený, Petr Novotný 0001, Vít Uncovský |
AAAI | 2 |