A hybrid MO-MCTS plus SAT-verification algorithm synthesizes decision-tree interpretations of black-box models with verified local Pareto-optimality guarantees, scaling to benchmarks where the global Pareto-optimal solver times out.
Pareto Monte Carlo Tree Search for Multi-Objective Informative Planning
1 Pith paper cite this work. Polarity classification is still indexing.
abstract
In many environmental monitoring scenarios, the sampling robot needs to simultaneously explore the environment and exploit features of interest with limited time. We present an anytime multi-objective informative planning method called Pareto Monte Carlo tree search which allows the robot to handle potentially competing objectives such as exploration versus exploitation. The method produces optimized decision solutions for the robot based on its knowledge (estimation) of the environment state, leading to better adaptation to environmental dynamics. We provide algorithmic analysis on the critical tree node selection step and show that the number of times choosing sub-optimal nodes is logarithmically bounded and the search result converges to the optimal choices at a polynomial rate.
fields
cs.LG 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Locally Pareto-Optimal Interpretations for Black-Box Machine Learning Models
A hybrid MO-MCTS plus SAT-verification algorithm synthesizes decision-tree interpretations of black-box models with verified local Pareto-optimality guarantees, scaling to benchmarks where the global Pareto-optimal solver times out.