{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T08:38:39Z","timestamp":1742978319566,"version":"3.40.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030954581"},{"type":"electronic","value":"9783030954598"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-030-95459-8_31","type":"book-chapter","created":{"date-parts":[[2022,2,17]],"date-time":"2022-02-17T19:02:27Z","timestamp":1645124547000},"page":"509-525","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Automatic Encoding and Repair of Reactive High-Level Tasks with Learned Abstract Representations"],"prefix":"10.1007","author":[{"given":"Adam","family":"Pacheck","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"George","family":"Konidaris","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hadas","family":"Kress-Gazit","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,2,17]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Konidaris, G., Kaelbling, L.P., Lozano-Perez, T.: From skills to symbols: learning symbolic representations for abstract high-level planning. J. Artif. Intell. Res. 61, 215\u2013289 (2018). https:\/\/www.jair.org\/index.php\/jair\/article\/view\/11175","key":"31_CR1","DOI":"10.1613\/jair.5575"},{"doi-asserted-by":"crossref","unstructured":"Kress-Gazit, H., Lahijanian, M., Raman, V.: Synthesis for robots: guarantees and feedback for robot behavior. Annu. Rev. Control Robot. Auton. Syst. 1, 211\u2013236 (2018). https:\/\/www.annualreviews.org\/doi\/full\/10.1146\/annurev-control-060117-104838","key":"31_CR2","DOI":"10.1146\/annurev-control-060117-104838"},{"key":"31_CR3","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"566","DOI":"10.1007\/978-3-642-14295-6_49","volume-title":"CAV 2010","author":"M Mazo","year":"2010","unstructured":"Mazo, M., Davitian, A., Tabuada, P.: PESSOA: a tool for embedded controller synthesis. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol. 6174, pp. 566\u2013569. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-14295-6_49"},{"doi-asserted-by":"crossref","unstructured":"Finucane, C., Jing, G., Kress-Gazit, H.: LTLMoP: experimenting with language, Temporal Logic and robot control. In: IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS), pp. 1988\u20131993 (2010)","key":"31_CR4","DOI":"10.1109\/IROS.2010.5650371"},{"unstructured":"He, K., Lahijanian, M., Kavraki, L., Moshe, V.: Automated abstraction of manipulation domains for cost-based reactive synthesis. IEEE Robot. Autom. Lett. (2018). https:\/\/ieeexplore.ieee.org\/abstract\/document\/8585149","key":"31_CR5"},{"doi-asserted-by":"crossref","unstructured":"Fikes, R.E., Nilsson, N.J.: STRIPS: a new approach to the application of theorem proving to problem solving. Artif. Intell. 2(3\u20134), 189\u2013208 (1971). https:\/\/www.sciencedirect.com\/science\/article\/pii\/0004370271900105","key":"31_CR6","DOI":"10.1016\/0004-3702(71)90010-5"},{"doi-asserted-by":"crossref","unstructured":"Fox, M., Long, D.: PDDL2. 1: an extension to PDDL for expressing temporal planning domains. J. Artif. Intell. Res. 20, 61\u2013124 (2003). https:\/\/www.jair.org\/index.php\/jair\/article\/view\/10352","key":"31_CR7","DOI":"10.1613\/jair.1129"},{"key":"31_CR8","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139583923","volume-title":"Automated Planning and Acting","author":"M Ghallab","year":"2016","unstructured":"Ghallab, M., Nau, D., Traverso, P.: Automated Planning and Acting. Cambridge University Press, New York (2016)"},{"unstructured":"Yoon, S., Fern, A., Givan, R.: FF-Replan: a baseline for probabilistic planning. In: ICAPS, no.\u00a07, pp. 352\u2013359 (2007). https:\/\/www.aaai.org\/Papers\/ICAPS\/2007\/ICAPS07-045.pdf","key":"31_CR9"},{"doi-asserted-by":"crossref","unstructured":"Lahijanian, M., Andersson, S.B., Belta, C.: Temporal logic motion planning and control with probabilistic satisfaction guarantees. IEEE Trans. Rob. 28(2), 396\u2013409 (2012). https:\/\/ieeexplore.ieee.org\/abstract\/document\/6085615","key":"31_CR10","DOI":"10.1109\/TRO.2011.2172150"},{"doi-asserted-by":"crossref","unstructured":"Wongpiromsarn, T., Topcu, U., Murray, R.M.: Receding horizon control for temporal logic specifications. In: Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, pp. 101\u2013110. ACM (2010). https:\/\/dl.acm.org\/citation.cfm?id=1755968","key":"31_CR11","DOI":"10.1145\/1755952.1755968"},{"doi-asserted-by":"crossref","unstructured":"DeCastro, J.A., Kress-Gazit, H.: Nonlinear controller synthesis and automatic workspace partitioning for reactive high-level behaviors. In: Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, pp. 225\u2013234. ACM (2016). https:\/\/dl.acm.org\/citation.cfm?id=2883832","key":"31_CR12","DOI":"10.1145\/2883817.2883832"},{"doi-asserted-by":"crossref","unstructured":"Kress-Gazit, H., Fainekos, G.E., Pappas, G.J.: Temporal-logic-based reactive mission and motion planning. IEEE Trans. Rob. 25(6), 1370\u20131381 (2009). https:\/\/ieeexplore.ieee.org\/abstract\/document\/5238617","key":"31_CR13","DOI":"10.1109\/TRO.2009.2030225"},{"doi-asserted-by":"crossref","unstructured":"He, K., Wells, A., Kavraki, L.E., Vardi, M.Y.: Efficient symbolic reactive synthesis for finite-horizon tasks, pp. 8993\u20138999 (2019)","key":"31_CR14","DOI":"10.1109\/ICRA.2019.8794170"},{"doi-asserted-by":"crossref","unstructured":"Raman, V., Kress-Gazit, H.: Explaining impossible high-level robot behaviors. IEEE Trans. Rob. 29(1), 94\u2013104 (2013). https:\/\/ieeexplore.ieee.org\/abstract\/document\/6301745\/","key":"31_CR15","DOI":"10.1109\/TRO.2012.2214558"},{"key":"31_CR16","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/978-3-540-85361-9_14","volume-title":"CONCUR 2008","author":"K Chatterjee","year":"2008","unstructured":"Chatterjee, K., Henzinger, T.A., Jobstmann, B.: Environment assumptions for synthesis. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol. 5201, pp. 147\u2013161. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-85361-9_14"},{"doi-asserted-by":"crossref","unstructured":"K\u00f6nighofer, R., Hofferek, G., Bloem, R.: Debugging formal specifications using simple counterstrategies. In: Formal Methods in Computer-Aided Design, pp. 152\u2013159. IEEE (2009). https:\/\/ieeexplore.ieee.org\/abstract\/document\/5351127","key":"31_CR17","DOI":"10.1109\/FMCAD.2009.5351127"},{"doi-asserted-by":"crossref","unstructured":"Alur, R., Moarref, S., Topcu, U.: Counter-strategy guided refinement of GR (1) temporal logic specifications. In: Formal Methods in Computer-Aided Design, pp. 26\u201333. IEEE (2013). https:\/\/ieeexplore.ieee.org\/abstract\/document\/6679387","key":"31_CR18","DOI":"10.1109\/FMCAD.2013.6679387"},{"doi-asserted-by":"crossref","unstructured":"Li, W., Dworkin, L., Seshia, S.A.: Mining assumptions for synthesis. In: Proceedings of the Ninth ACM\/IEEE International Conference on Formal Methods and Models for Codesign, pp. 43\u201350. IEEE Computer Society (2011). https:\/\/dl.acm.org\/citation.cfm?id=3041637","key":"31_CR19","DOI":"10.1109\/MEMCOD.2011.5970509"},{"key":"31_CR20","volume-title":"Nonparametric Statistical Methods","author":"M Hollander","year":"2014","unstructured":"Hollander, M., Wolfe, D.A., Chicken, E.: Nonparametric Statistical Methods, 3rd edn. Wiley, Chichester (2014)","edition":"3"},{"doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: 18th Annual Symposium on Foundations of Computer Science, pp. 46\u201357. IEEE (1977). https:\/\/ieeexplore.ieee.org\/abstract\/document\/4567924","key":"31_CR21","DOI":"10.1109\/SFCS.1977.32"},{"doi-asserted-by":"crossref","unstructured":"Bloem, R., Jobstmann, B., Piterman, N., Pnueli, A., Saar, Y.: Synthesis of reactive (1) designs. J. Comput. Syst. Sci. 78(3), 911\u2013938 (2012). https:\/\/www.sciencedirect.com\/science\/article\/pii\/S0022000011000869","key":"31_CR22","DOI":"10.1016\/j.jcss.2011.08.007"},{"key":"31_CR23","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/978-3-319-41540-6_18","volume-title":"CAV 2016","author":"R Ehlers","year":"2016","unstructured":"Ehlers, R., Raman, V.: Slugs: extensible GR (1) synthesis. In: Chaudhuri, S., Farzan, A. (eds.) CAV 2016. LNCS, vol. 9780, pp. 333\u2013339. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-41540-6_18"},{"key":"31_CR24","volume-title":"Automated Planning: Theory and Practice","author":"M Ghallab","year":"2004","unstructured":"Ghallab, M., Nau, D., Traverso, P.: Automated Planning: Theory and Practice. Elsevier, Amsterdam (2004)"},{"doi-asserted-by":"crossref","unstructured":"Olson, E.: AprilTag: a robust and flexible visual fiducial system. In: International Conference on Robotics and Automation (ICRA), pp. 3400\u20133407. IEEE (2011). https:\/\/ieeexplore.ieee.org\/abstract\/document\/5979561","key":"31_CR25","DOI":"10.1109\/ICRA.2011.5979561"},{"unstructured":"Sucan, I.A., Chitta, S.: Moveit! http:\/\/moveit.ros.org","key":"31_CR26"},{"unstructured":"James, S., Rosman, B., Konidaris, G.: Learning to plan with portable symbols. In: ICML\/IJCAI\/AAMAS 2018 Workshop on Planning and Learning (2018). https:\/\/www.benjaminrosman.com\/papers\/pal18.pdf","key":"31_CR27"}],"container-title":["Springer Proceedings in Advanced Robotics","Robotics Research"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-95459-8_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,27]],"date-time":"2023-01-27T08:12:34Z","timestamp":1674807154000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-95459-8_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783030954581","9783030954598"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-95459-8_31","relation":{},"ISSN":["2511-1256","2511-1264"],"issn-type":[{"type":"print","value":"2511-1256"},{"type":"electronic","value":"2511-1264"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"17 February 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISRR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The International Symposium of Robotics Research","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Hanoi","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Vietnam","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 October 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 October 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isrr2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/h2t-projects.webarchiv.kit.edu\/Projects\/ISRR2019\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}