The stack followed a sense-plan-act structure with a supervisory safety layer: multibeam sonar, IMU, DVL, and pressure sensing; custom SLAM for 3D occupancy maps; frontier-based exploration; 3D A* path planning; and runtime STL constraints.
Autonomy challenge
The cave environment motivates autonomy that can navigate unknown, constrained, and safety-critical spaces without relying on continuous human control.