Computer-aided compositional design and verification for modular robots

January 19th, 2021