Merkliste 
 1 Ergebnisse 
 
1

A UCB-Based Tree Search Approach to Joint Verification-Corr..:

Xu, Peng ; Deng, Xinwei ; Salado, Alejandro
IEEE Transactions on Systems, Man, and Cybernetics: Systems.  53 (2023)  9 - p. 5430-5441 , 2023