TY  - RPRT
TI  - A UCB-based Tree Search Approach to Joint Verification-Correction Strategy for Large Scale Systems
AU  - Peng Xu
AU  - Xinwei Deng
AU  - Alejandro Salado
PY  - 2022
UR  - https://arxiv.org/abs/2204.00925
ID  - 2204.00925
ER  -