Tarik Tosun, Gangyuan Jing, Hadas Kress-Gazit, Mark Yim. Computer-Aided Compositional Design and Verification for Modular Robots. In Antonio Bicchi, Wolfram Burgard, editors, Robotics Research, Proceedings of the 17th International Symposium of Robotics Research, ISRR 2015, Sestri Levante, Italy, September 12-15, 2015, Volume 1. Volume 2 of Springer Proceedings in Advanced Robotics, pages 237-252, Springer, 2015. [doi]
Abstract is missing.