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 ...

Abstract: In recent years, diabetes has become more prevalent due to unhealthy lifestyles, obesity, and other factors. Diabetes is a chronic and dangerous disease due to its major complications that ...