Hadas Kress-Gazit was recently awarded a grant through Space And Naval Warfare Systems Center San Diego – DOD (NAVY-SSCSD), entitled “High-Level Provably-Correct Control of Robotic Swarms”.