{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T14:09:47Z","timestamp":1753884587051,"version":"3.41.0"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319609157"},{"type":"electronic","value":"9783319609164"}],"license":[{"start":{"date-parts":[[2017,7,25]],"date-time":"2017-07-25T00:00:00Z","timestamp":1500940800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-60916-4_36","type":"book-chapter","created":{"date-parts":[[2017,7,24]],"date-time":"2017-07-24T07:53:33Z","timestamp":1500882813000},"page":"631-648","source":"Crossref","is-referenced-by-count":8,"title":["Robot Creation from Functional Specifications"],"prefix":"10.1007","author":[{"given":"Ankur M.","family":"Mehta","sequence":"first","affiliation":[]},{"given":"Joseph","family":"DelPreto","sequence":"additional","affiliation":[]},{"given":"Kai Weng","family":"Wong","sequence":"additional","affiliation":[]},{"given":"Scott","family":"Hamill","sequence":"additional","affiliation":[]},{"given":"Hadas","family":"Kress-Gazit","sequence":"additional","affiliation":[]},{"given":"Daniela","family":"Rus","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,7,25]]},"reference":[{"key":"36_CR1","doi-asserted-by":"crossref","unstructured":"Ayala, A.I.M, Andersson, S.B, Belta, C.: Probabilistic control from time-bounded temporal logic specifications in dynamic environments. In: Robotics and Automation (ICRA), pp. 4705\u20134710 (2012)","DOI":"10.1109\/ICRA.2012.6224963"},{"key":"36_CR2","doi-asserted-by":"crossref","unstructured":"Bhatia, A., Kavraki, L.E., Vardi, M.Y.: Sampling-based motion planning with temporal goals. In: Robotics and Automation (ICRA), pp. 2689\u20132696 (2010)","DOI":"10.1109\/ROBOT.2010.5509503"},{"key":"36_CR3","doi-asserted-by":"crossref","unstructured":"Birkmeyer, P., Peterson, K., Fearing, R.S.: Dash: a dynamic 16g hexapedal robot. In: Intelligent Robots and Systems (IROS), pp. 2683\u20132689. IEEE (2009)","DOI":"10.1109\/IROS.2009.5354561"},{"issue":"3","key":"36_CR4","doi-asserted-by":"crossref","first-page":"911","DOI":"10.1016\/j.jcss.2011.08.007","volume":"78","author":"R Bloem","year":"2012","unstructured":"Bloem, R., Jobstmann, B., Piterman, N., Pnueli, A., Sa\u2019ar, Y.: Synthesis of reactive(1) designs. J. Comput. Syst. Sci. 78(3), 911\u2013938 (2012)","journal-title":"J. Comput. Syst. Sci."},{"key":"36_CR5","unstructured":"Demaine, E.D., Tachi, T.: Origamizer: a practical algorithm for folding any polyhedron (2009)"},{"key":"36_CR6","doi-asserted-by":"crossref","unstructured":"Fainekos, G.E., Kress-Gazit, H., Pappas, G.J.: Temporal logic motion planning for mobile robots. In: Robotics and Automation (ICRA), pp. 2020\u20132025 (2005)","DOI":"10.1109\/ROBOT.2005.1570410"},{"key":"36_CR7","doi-asserted-by":"crossref","unstructured":"Fikes, R.E., Nilsson, N.J.: Strips: a new approach to the application of theorem proving to problem solving. In: Proceedings of the 2nd IJCAI, London, UK, pp. 608\u2013620 (1971)","DOI":"10.1016\/0004-3702(71)90010-5"},{"key":"36_CR8","doi-asserted-by":"crossref","unstructured":"Finucane, C., Jing, G., Kress-Gazit, H.: LTLMoP: experimenting with language, temporal Logic and robot control. In: IROS, pp. 1988\u20131993 (2010)","DOI":"10.1109\/IROS.2010.5650371"},{"key":"36_CR9","unstructured":"Hoover, A.M., Fearing, R.S.: Fast scale prototyping for folded millirobots. In: Robotics and Automation (ICRA), 2008, pp. 886\u2013892. IEEE (2008)"},{"issue":"4","key":"36_CR10","doi-asserted-by":"crossref","first-page":"703","DOI":"10.1109\/TRA.2003.814502","volume":"19","author":"G Hornby","year":"2003","unstructured":"Hornby, G., Lipson, H., Pollack, J.: Generative representations for the automated design of modular physical robots. IEEE Trans. Robot. Autom. 19(4), 703\u2013719 (2003)","journal-title":"IEEE Trans. Robot. Autom."},{"key":"36_CR11","doi-asserted-by":"crossref","unstructured":"Karaman, S., Frazzoli, E.: Complex mission optimization for multiple-UAVs using linear temporal logic. In: American Control Conference, Seattle, WA, pp. 2003\u20132009 (2008)","DOI":"10.1109\/ACC.2008.4586787"},{"issue":"1","key":"36_CR12","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1109\/TAC.2007.914952","volume":"53","author":"M Kloetzer","year":"2008","unstructured":"Kloetzer, M., Belta, C.: A fully automated framework for control of linear systems from temporal logic specifications. IEEE Trans. Autom. Control 53(1), 287\u2013297 (2008)","journal-title":"IEEE Trans. Autom. Control"},{"key":"36_CR13","doi-asserted-by":"crossref","unstructured":"Kress-Gazit, H., Fainekos, G.E., Pappas, G.J.: Where\u2019s Waldo? Sensor-based temporal logic motion planning. In: Robotics and Automation (ICRA), pp. 3116\u20133121 (2007)","DOI":"10.1109\/ROBOT.2007.363946"},{"issue":"12","key":"36_CR14","doi-asserted-by":"crossref","first-page":"1343","DOI":"10.1163\/156855308X344864","volume":"22","author":"H Kress-Gazit","year":"2008","unstructured":"Kress-Gazit, H., Fainekos, G.E., Pappas, G.J.: Translating structured english to robot controllers. Adv. Robot. 22(12), 1343\u20131359 (2008)","journal-title":"Adv. Robot."},{"key":"36_CR15","volume-title":"Origami Design Secrets: Mathematical Methods for an Ancient Art","author":"R Lang","year":"2012","unstructured":"Lang, R.: Origami Design Secrets: Mathematical Methods for an Ancient Art. A K Peters\/CRC Press, Boca Raton (2012)"},{"key":"36_CR16","doi-asserted-by":"crossref","unstructured":"Livingston, S.C., Prabhakar, P., Jose, A.B., Murray, R.M.: Patching task-level robot controllers based on a local mu-calculus formula. In: Robotics and Automation (ICRA), pp. 4588\u20134595 (2013)","DOI":"10.1109\/ICRA.2013.6631229"},{"key":"36_CR17","unstructured":"McDermott, D., et\u00a0al.: PDDL \u2013 the planning domain definition language \u2013 version 1.2. Technical report, Yale Center for Computational Vision and Control (1998)"},{"key":"36_CR18","doi-asserted-by":"crossref","unstructured":"Mehta, A.M., DelPreto, J., Shaya, B., Rus, D.: Cogeneration of mechanical, electrical, and software designs for printable robots from structural specifications. In: Intelligent Robots and Systems (IROS) (2014)","DOI":"10.1109\/IROS.2014.6942960"},{"issue":"2","key":"36_CR19","doi-asserted-by":"crossref","first-page":"430","DOI":"10.1109\/TMECH.2012.2210239","volume":"18","author":"C Onal","year":"2013","unstructured":"Onal, C., Wood, R., Rus, D.: An origami-inspired approach to worm robots. IEEE\/ASME Trans. Mechatronics 18(2), 430\u2013438 (2013)","journal-title":"IEEE\/ASME Trans. Mechatronics"},{"key":"36_CR20","doi-asserted-by":"crossref","unstructured":"Raman, V., et\u00a0al.: Sorry Dave, I\u2019m afraid I can\u2019t do that: explaining unachievable robot tasks using natural language. In: Robotics: Science and Systems IX, Technische Universit\u00e4t Berlin, Berlin, Germany, 24 June\u201328 June 2013 (2013)","DOI":"10.15607\/RSS.2013.IX.023"},{"key":"36_CR21","doi-asserted-by":"crossref","unstructured":"Romanishin, J., Gilpin, K., Rus, D.: M-blocks: momentum-driven, magnetic modular robots. In: 2013 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS), pp. 4288\u20134295 (2013)","DOI":"10.1109\/IROS.2013.6696971"},{"issue":"1","key":"36_CR22","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1109\/37.184791","volume":"13","author":"I Shimoyama","year":"1993","unstructured":"Shimoyama, I., Miura, H., Suzuki, K., Ezura, Y.: Insect-like microrobots with external skeletons. IEEE Control Syst. 13(1), 37\u201341 (1993)","journal-title":"IEEE Control Syst."},{"key":"36_CR23","unstructured":"Tama Software Ltd. Pepakura designer (2015). http:\/\/www.tamasoft.co.jp\/pepakura-en\/ . Accessed 01 Apr 2015"},{"key":"36_CR24","doi-asserted-by":"crossref","unstructured":"Wolff, E.M., Topcu, U., Murray, R.M.: Optimization-based trajectory generation with linear temporal logic specifications. In: Robotics and Automation (ICRA), pp. 5319\u20135325 (2014)","DOI":"10.1109\/ICRA.2014.6907641"},{"key":"36_CR25","doi-asserted-by":"crossref","unstructured":"Yim, M., Duff, D., Roufas, K.: PolyBot: a modular reconfigurable robot. In: Robotics and Automation (ICRA), vol. 1, pp. 514\u2013520 (2000)","DOI":"10.1109\/ROBOT.2000.844106"},{"issue":"1","key":"36_CR26","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1109\/MRA.2007.339623","volume":"14","author":"M Yim","year":"2007","unstructured":"Yim, M., Shen, W.M., Salemi, B., Rus, D., Moll, M., Lipson, H., Klavins, E., Chirikjian, G.: Modular self-reconfigurable robot systems [grand challenges of robotics]. IEEE Robot. Autom. Mag. 14(1), 43\u201352 (2007)","journal-title":"IEEE Robot. Autom. Mag."}],"container-title":["Springer Proceedings in Advanced Robotics","Robotics Research"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-60916-4_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T17:32:27Z","timestamp":1750786347000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-60916-4_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7,25]]},"ISBN":["9783319609157","9783319609164"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-60916-4_36","relation":{},"ISSN":["2511-1256","2511-1264"],"issn-type":[{"type":"print","value":"2511-1256"},{"type":"electronic","value":"2511-1264"}],"subject":[],"published":{"date-parts":[[2017,7,25]]}}}