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]
@inproceedings{TosunJKY15,
title = {Computer-Aided Compositional Design and Verification for Modular Robots},
author = {Tarik Tosun and Gangyuan Jing and Hadas Kress-Gazit and Mark Yim},
year = {2015},
doi = {10.1007/978-3-319-51532-8_15},
url = {https://doi.org/10.1007/978-3-319-51532-8_15},
researchr = {https://researchr.org/publication/TosunJKY15},
cites = {0},
citedby = {0},
pages = {237-252},
booktitle = {Robotics Research, Proceedings of the 17th International Symposium of Robotics Research, ISRR 2015, Sestri Levante, Italy, September 12-15, 2015, Volume 1},
editor = {Antonio Bicchi and Wolfram Burgard},
volume = {2},
series = {Springer Proceedings in Advanced Robotics},
publisher = {Springer},
isbn = {978-3-319-51532-8},
}