Safety-Critical Receding-Horizon Planning and Formation Control of Autonomous Surface Vehicles via Collaborative Neurodynamic Optimization | IEEE Journals & Magazine | IEEE Xplore