arXiv:cs.AI· Tomer Massas, Vadim Indelman·· 16 小时前
CAR-MCTS:首个具备 anytime 确定性最优性保证的可扩展鲁棒 MCTS 规划器
Scalable Robust MCTS with Anytime Deterministic Optimality Guarantees
AI 导读
研究者提出 CAR-MCTS,一个基于确定性界引导的 MCTS 鲁棒在线规划器,可在不枚举完整状态空间的情况下,为在线规划和策略评估同时提供 anytime 确定性保证。该方法能在采样搜索树上确定性地约束未采样轨迹的贡献,随采样支撑扩大而收紧并收敛到真实鲁棒值,实验中验证了分支剪枝与根动作认证等效果。
正文
Abstract:MDP planners often rely on nominal transition models that may differ from the true dynamics. Robust MDP planning accounts for this uncertainty through a set of admissible models, but doing so with limited online computation is challenging: the search tree grows exponentially with the horizon and each robust backup requires an additional optimization. Existing online robust methods remain limited in scale and offer at most probabilistic guarantees. We introduce, to the best of our knowledge, the first deterministic anytime guarantees for robust online MDP planning. We restrict computation to the sampled search tree while deterministically bounding the contribution of unsampled trajectories. For any fixed policy, we derive lower and upper bounds on the gap between its projected and true robust values under rectangular and non-rectangular uncertainty sets. Under rectangular uncertainty, we propagate these bounds through the robust Bellman operator to bound the optimal robust value. These bounds are computable from the current sampled tree, hold at every node, tighten as the sampled support expands, and converge to the robust values as full support is recovered. We develop CAR-MCTS, a bound-guided MCTS planner that uses these deterministic bounds to guide exploration, prune provably suboptimal branches, and terminate once the optimal root action is certified. The fixed-policy bounds also yield an anytime policy-evaluation mechanism that certifies the robust value of any policy, independent of how it was obtained. Experiments verify the deterministic bounds, their tightening under support expansion, substantial branch pruning, root-action certification, and convergence to the optimal robust policy. To our knowledge, this is the first scalable robust MCTS framework with anytime deterministic guarantees for both online planning and policy evaluation, without enumerating the full state space.
| Comments: | 33 pages, including appendix |
| Subjects: | Artificial Intelligence (cs.AI) |
| Cite as: | arXiv:2610.15461 [cs.AI] |
| (or arXiv:2610.15461v1 [cs.AI] for this version) | |
| https://doi.org/10.48550/arXiv.2610.15461 arXiv-issued DOI via DataCite (pending registration) |
Submission history
From: Tomer Massas [view email]
[v1]
Sun, 11 Oct 2026 09:01:25 UTC (1,387 KB)
来源:arXiv:cs.AI · arxiv.org