Computer-Aided Compositional Design and Verification for Modular RobotsResearch, SMORES-EPNovember 20, 2015 By Tarik Tosun