← SearchFORMAL SYNTHESIS OF ROBUST, OPTIMAL CONTROLLERS FOR AUTONOMOUS UNDERWATER VEHICLES$456,941FY2017Department of the NavyDODKansas State University, Manhattan KSInvestigatorsView source on USAspending →