Login / Signup
A UCB-based Tree Search Approach to Joint Verification-Correction Strategy for Large Scale Systems.
Peng Xu
Xinwei Deng
Alejandro Salado
Published in:
CoRR (2022)
Keyphrases
</>
tree search
game tree search
objective function
markov chain
mathematical programming
constraint propagation
machine learning
management system
branch and bound
tree search algorithm