USV Formation Path Planning Based on Behavior Trees and Fast Marching Method | IEEE Conference Publication | IEEE Xplore