Computer-Aided Compositional Design and Verification for Modular Robots.

Tarik Tosun, Gangyuan Jing, Hadas Kress-Gazit, Mark Yim

Browse the full ISRR paper archive.