← SearchHIGH LEVEL PROVABLY-CORRECT CONTROL OF ROBOTIC SWARMS$250,000FY2017Department of the NavyDODCornell University, Ithaca NYInvestigatorsView source on USAspending →