Neel Somani has built a career that sits at the intersection of theory and practice. His work spans formal methods, mac ...

Abstract: Autonomous surface vessels (ASVs) play a crucial role in military, civilian and scientific research fields, and path planning technology is the foundation for ensuring the navigation of ASVs ...