{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T11:02:15Z","timestamp":1761562935898,"version":"3.40.3"},"publisher-location":"Cham","reference-count":35,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031210891"},{"type":"electronic","value":"9783031210907"}],"license":[{"start":{"date-parts":[[2022,12,15]],"date-time":"2022-12-15T00:00:00Z","timestamp":1671062400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,12,15]],"date-time":"2022-12-15T00:00:00Z","timestamp":1671062400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-21090-7_3","type":"book-chapter","created":{"date-parts":[[2022,12,14]],"date-time":"2022-12-14T18:11:35Z","timestamp":1671041495000},"page":"36-51","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Design Space Exploration for\u00a0Sampling-Based Motion Planning Programs with\u00a0Combinatory Logic Synthesis"],"prefix":"10.1007","author":[{"given":"Tristan","family":"Sch\u00e4fer","sequence":"first","affiliation":[]},{"given":"Jan","family":"Bessai","sequence":"additional","affiliation":[]},{"given":"Constantin","family":"Chaumet","sequence":"additional","affiliation":[]},{"given":"Jakob","family":"Rehof","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Riest","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,12,15]]},"reference":[{"key":"3_CR1","unstructured":"Bessai, J.: A type-theoretic framework for software component synthesis. Ph.D. thesis, Technical University of Dortmund, Germany (2019). http:\/\/hdl.handle.net\/2003\/38387"},{"key":"3_CR2","unstructured":"Bessai, J., Chen, T., Dudenhefner, A., D\u00fcdder, B., de\u2019Liguoro, U., Rehof, J.: Mixin composition synthesis based on intersection types. Log. Methods Comput. Sci. 14(1) (2018)"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Bessai, J., D\u00fcdder, B., Heineman, G.T., Rehof, J.: Combinatory synthesis of classes using feature grammars. In: FACS. Lecture Notes in Computer Science, vol. 9539, pp. 123\u2013140. Springer (2015)","DOI":"10.1007\/978-3-319-28934-2_7"},{"key":"3_CR4","unstructured":"Bessai, J., D\u00fcdder, B., Heineman, G.T., Rehof, J.: Towards language-independent code synthesis (2018). https:\/\/popl18.sigplan.org\/details\/PEPM-2018\/12\/Towards-Language-independent-Code-Synthesis-Poster-Demo-Talk-, Poster and Talk"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Bessai, J., Dudenhefner, A., D\u00fcdder, B., Martens, M., Rehof, J.: Combinatory logic synthesizer. In: ISoLA (1). Lecture Notes in Computer Science, vol. 8802, pp. 26\u201340. Springer, Berlin (2014)","DOI":"10.1007\/978-3-662-45234-9_3"},{"issue":"12","key":"3_CR6","doi-asserted-by":"publisher","first-page":"1031","DOI":"10.1177\/0278364902021012002","volume":"21","author":"O Brock","year":"2002","unstructured":"Brock, O., Khatib, O.: Elastic strips: a framework for motion generation in human environments. Int. J. Robot. Res. 21(12), 1031\u20131052 (2002)","journal-title":"Int. J. Robot. Res."},{"issue":"3","key":"3_CR7","doi-asserted-by":"publisher","first-page":"506","DOI":"10.1109\/TNNLS.2013.2275918","volume":"25","author":"P Campigotto","year":"2014","unstructured":"Campigotto, P., Passerini, A., Battiti, R.: Active learning of pareto fronts. IEEE Trans. Neural Netw. Learn. Syst. 25(3), 506\u2013519 (2014)","journal-title":"IEEE Trans. Neural Netw. Learn. Syst."},{"issue":"8","key":"3_CR8","doi-asserted-by":"publisher","first-page":"845","DOI":"10.1177\/0278364907079280","volume":"26","author":"R Geraerts","year":"2007","unstructured":"Geraerts, R., Overmars, M.H.: Creating high-quality paths for motion planning. Int. J. Robot. Res. 26(8), 845\u2013863 (2007)","journal-title":"Int. J. Robot. Res."},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Graefenstein, J., Winkels, J., Lenz, L., Weist, K., Krebil, K., Gralla, M.: A hybrid approach of modular planning\u2014synchronizing factory and building planning by using component based synthesis. In: HICSS, pp. 1\u20139. ScholarSpace (2020)","DOI":"10.24251\/HICSS.2020.806"},{"issue":"1\u20132","key":"3_CR10","first-page":"1","volume":"4","author":"S Gulwani","year":"2017","unstructured":"Gulwani, S., Polozov, O., Singh, R.: Program synthesis. Found. Trends Program. Lang. 4(1\u20132), 1\u2013119 (2017)","journal-title":"Found. Trends Program. Lang."},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Heineman, G.T., Bessai, J., D\u00fcdder, B., Rehof, J.: A long and winding road towards modular synthesis. In: ISoLA (1). Lecture Notes in Computer Science, vol. 9952, pp. 303\u2013317 (2016)","DOI":"10.1007\/978-3-319-47166-2_21"},{"key":"3_CR12","doi-asserted-by":"publisher","unstructured":"Heineman, G.T., Hoxha, A., D\u00fcdder, B., Rehof, J.: Towards migrating object-oriented frameworks to enable synthesis of product line members. In: Schmidt, D.C. (ed.) Proceedings of the 19th International Conference on Software Product Line, SPLC 2015, Nashville, TN, USA, July 20\u201324, 2015, pp. 56\u201360. ACM (2015), https:\/\/doi.org\/10.1145\/2791060.2791076","DOI":"10.1145\/2791060.2791076"},{"key":"3_CR13","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809835","volume-title":"Lambda-Calculus and Combinators, an Introduction","author":"JR Hindley","year":"2008","unstructured":"Hindley, J.R., Seldin, J.P.: Lambda-Calculus and Combinators, an Introduction. Cambridge University Press, Cambridge (2008)"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Hosny, A., Hashemi, S., Shalan, M., Reda, S.: Drills: deep reinforcement learning for logic synthesis. In: ASP-DAC, pp. 581\u2013586. IEEE (2020)","DOI":"10.1109\/ASP-DAC47756.2020.9045559"},{"issue":"4\/5","key":"3_CR15","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1142\/S0218195999000285","volume":"9","author":"D Hsu","year":"1999","unstructured":"Hsu, D., Latombe, J., Motwani, R.: Path planning in expansive configuration spaces. Int. J. Comput. Geom. Appl. 9(4\/5), 495\u2013512 (1999)","journal-title":"Int. J. Comput. Geom. Appl."},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Ichter, B., Schmerling, E., Lee, T.W.E., Faust, A.: Learned critical probabilistic roadmaps for robotic motion planning. In: 2020 IEEE International Conference on Robotics and Automation (ICRA), pp. 9535\u20139541 (2020)","DOI":"10.1109\/ICRA40945.2020.9197106"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"I\u0308pek, E., McKee, S.A., Caruana, R., de Supinski, B.R., Schulz, M.: Efficiently exploring architectural design spaces via predictive modeling. SIGPLAN Not. 41(11), 195\u2013206 (2006)","DOI":"10.1145\/1168918.1168882"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Jamshidi, P., Camara, J., Schmerl, B., Kaestner, C., Garlan, D.: Machine learning meets quantitative planning: enabling self-adaptation in autonomous robots. In: 2019 IEEE\/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), pp. 39\u201350. IEEE (2505\u20132019)","DOI":"10.1109\/SEAMS.2019.00015"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"Kallat, F., Pfrommer, J., Bessai, J., Rehof, J., Meyer, A.: Automatic building of a repository for component-based synthesis of warehouse simulation models. Procedia CIRP 104, 1440\u20131445 (2021), 54th CIRP CMS 2021\u2014Towards Digitalized Manufacturing 4.0","DOI":"10.1016\/j.procir.2021.11.243"},{"issue":"4","key":"3_CR20","doi-asserted-by":"publisher","first-page":"566","DOI":"10.1109\/70.508439","volume":"12","author":"LE Kavraki","year":"1996","unstructured":"Kavraki, L.E., Svestka, P., Latombe, J., Overmars, M.H.: Probabilistic roadmaps for path planning in high-dimensional configuration spaces. IEEE Trans. Robot. Autom. 12(4), 566\u2013580 (1996)","journal-title":"IEEE Trans. Robot. Autom."},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"Morales, M., Tapia, L., Pearce, R., Rodriguez, S., Amato, N.M.: A Machine Learning Approach for Feature-Sensitive Motion Planning, pp. 361\u2013376. Springer, Berlin Heidelberg, Berlin, Heidelberg (2005)","DOI":"10.1007\/10991541_25"},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"Nardi, L., Koeplinger, D., Olukotun, K.: Practical design space exploration. In: MASCOTS, pp. 347\u2013358. IEEE Computer Society (2019)","DOI":"10.1109\/MASCOTS.2019.00045"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Pan, J., Chitta, S., Manocha, D.: FCL: a general purpose library for collision and proximity queries. In: ICRA, pp. 3859\u20133866. IEEE (2012)","DOI":"10.1109\/ICRA.2012.6225337"},{"key":"3_CR24","unstructured":"Rehof, J.: Towards combinatory logic synthesis. In: 1st International Workshop on Behavioural Types, BEAT (2013)"},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"Rehof, J., Urzyczyn, P.: Finite combinatory logic with intersection types. In: TLCA. Lecture Notes in Computer Science, vol. 6690, pp. 169\u2013183. Springer (2011)","DOI":"10.1007\/978-3-642-21691-6_15"},{"issue":"6","key":"3_CR26","first-page":"29","volume":"4","author":"J Rehof","year":"2014","unstructured":"Rehof, J., Vardi, M.Y.: Design and synthesis from components (dagstuhl seminar 14232). Dagstuhl Rep. 4(6), 29\u201347 (2014)","journal-title":"Dagstuhl Rep."},{"key":"3_CR27","doi-asserted-by":"crossref","unstructured":"Reif, J.H.: Complexity of the mover\u2019s problem and generalizations. In: 20th Annual Symposium on Foundations of Computer Science (sfcs 1979), pp. 421\u2013427 (1979)","DOI":"10.1109\/SFCS.1979.10"},{"key":"3_CR28","doi-asserted-by":"crossref","unstructured":"Saeedi, S., Nardi, L., Johns, E., Bodin, B., Kelly, P.H.J., Davison, A.J.: Application-oriented design space exploration for slam algorithms. In: 2017 IEEE International Conference on Robotics and Automation (ICRA), pp. 5716\u20135723 (2017)","DOI":"10.1109\/ICRA.2017.7989673"},{"key":"3_CR29","doi-asserted-by":"crossref","unstructured":"S\u00e1nchez-Ante, G., Latombe, J.: A single-query bi-directional probabilistic roadmap planner with lazy collision checking. In: ISRR. Springer Tracts in Advanced Robotics, vol. 6, pp. 403\u2013417. Springer, Berlin (2001)","DOI":"10.1007\/3-540-36460-9_27"},{"key":"3_CR30","doi-asserted-by":"crossref","unstructured":"Sch\u00e4fer, T., Bergmann, J.A., Carballo, R.G., Rehof, J., Wiederkehr, P.: A synthesis-based tool path planning approach for machining operations. Procedia CIRP 104, 918\u2013923 (2021), 54th CIRP CMS 2021\u2014Towards Digitalized Manufacturing 4.0","DOI":"10.1016\/j.procir.2021.11.154"},{"key":"3_CR31","doi-asserted-by":"crossref","unstructured":"\u015eucan, I.A., Moll, M., Kavraki, L.E.: The open motion planning library. IEEE Robot. Autom. Mag. 19(4), 72\u201382 (2012). https:\/\/ompl.kavrakilab.org","DOI":"10.1109\/MRA.2012.2205651"},{"issue":"4","key":"3_CR32","doi-asserted-by":"publisher","first-page":"2063","DOI":"10.1109\/TASE.2020.2987397","volume":"17","author":"J Wang","year":"2020","unstructured":"Wang, J., Meng, M.Q.H., Khatib, O.: EB-RRT: optimal motion planning for mobile robots. IEEE Trans. Autom. Sci. Eng. 17(4), 2063\u20132073 (2020)","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"key":"3_CR33","doi-asserted-by":"crossref","unstructured":"Wenzel, S., Stolipin, J., Rehof, J., Winkels, J.: Trends in automatic composition of structures for simulation models in production and logistics. In: WSC, pp. 2190\u20132200. IEEE (2019)","DOI":"10.1109\/WSC40007.2019.9004959"},{"key":"3_CR34","doi-asserted-by":"crossref","unstructured":"Xiang, Y., Huang, H., Zhou, Y., Li, S., Luo, C., Lin, Q., Li, M., Yang, X.: Search-based diverse sampling from real-world software product lines. In: 2022 IEEE\/ACM 43rd International Conference on Software Engineering (ICSE). International Conference on Software Engineering. Proceedings, IEEE (2022), not yet published as of 04\/02\/2022","DOI":"10.1145\/3510003.3510053"},{"issue":"104","key":"3_CR35","first-page":"1","volume":"17","author":"M Zuluaga","year":"2016","unstructured":"Zuluaga, M., Krause, A., P\u00fcschel, M.: e-pal: an active learning approach to the multi-objective optimization problem. J. Mach. Learn. Res. 17(104), 1\u201332 (2016)","journal-title":"J. Mach. Learn. Res."}],"container-title":["Springer Proceedings in Advanced Robotics","Algorithmic Foundations of Robotics XV"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-21090-7_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,14]],"date-time":"2022-12-14T18:16:29Z","timestamp":1671041789000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-21090-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,12,15]]},"ISBN":["9783031210891","9783031210907"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-21090-7_3","relation":{},"ISSN":["2511-1256","2511-1264"],"issn-type":[{"type":"print","value":"2511-1256"},{"type":"electronic","value":"2511-1264"}],"subject":[],"published":{"date-parts":[[2022,12,15]]},"assertion":[{"value":"15 December 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"WAFR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on the Algorithmic Foundations of Robotics","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":", MD","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 June 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 June 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"wafr2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/wafr2022.github.io","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}