{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T09:58:11Z","timestamp":1776333491235,"version":"3.51.2"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031606977","type":"print"},{"value":"9783031606984","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-60698-4_23","type":"book-chapter","created":{"date-parts":[[2024,5,27]],"date-time":"2024-05-27T00:01:51Z","timestamp":1716768111000},"page":"377-396","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Safe Planning Through Incremental Decomposition of\u00a0Signal Temporal Logic Specifications"],"prefix":"10.1007","author":[{"given":"Parv","family":"Kapoor","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eunsuk","family":"Kang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R\u00f4mulo","family":"Meira-G\u00f3es","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,5,26]]},"reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"Aksaray, D., Jones, A., Kong, Z., Schwager, M., Belta, C.: Q-learning for robust satisfaction of signal temporal logic specifications (2016)","DOI":"10.1109\/CDC.2016.7799279"},{"key":"23_CR2","doi-asserted-by":"publisher","unstructured":"Aloor, J.J., Patrikar, J., Kapoor, P., Oh, J., Scherer, S.: Follow the rules: online signal temporal logic tree search for guided imitation learning in stochastic domains. In: 2023 IEEE International Conference on Robotics and Automation (ICRA), pp. 1320\u20131326 (2023). https:\/\/doi.org\/10.1109\/ICRA48891.2023.10160953","DOI":"10.1109\/ICRA48891.2023.10160953"},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"Aloor, J.J., Patrikar, J., Kapoor, P., Oh, J., Scherer, S.: Follow the rules: online signal temporal logic tree search for guided imitation learning in stochastic domains. In: 2023 IEEE International Conference on Robotics and Automation (ICRA), pp. 1320\u20131326. IEEE (2023)","DOI":"10.1109\/ICRA48891.2023.10160953"},{"issue":"1","key":"23_CR4","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1146\/annurev-control-053018-023717","volume":"2","author":"C Belta","year":"2019","unstructured":"Belta, C., Sadraddini, S.: Formal methods for control synthesis: an optimization perspective. Ann. Rev. Control, Robot. Auton. Syst. 2(1), 115\u2013140 (2019)","journal-title":"Ann. Rev. Control, Robot. Auton. Syst."},{"key":"23_CR5","unstructured":"Botea, A., Cir\u00e9, A.A.: Incremental heuristic search for planning with temporally extended goals and uncontrollable events. In: Proceedings of the 21st International Joint Conference on Artificial Intelligence, pp. 1647\u20131652. IJCAI\u201909, Morgan Kaufmann Publishers Inc., San Francisco, CA, USA (2009)"},{"key":"23_CR6","doi-asserted-by":"publisher","unstructured":"Chen, Y., Gandhi, R., Zhang, Y., Fan, C.: NL2TL: transforming natural languages to temporal logics using large language models. CoRR abs\/2305.07766 (2023). https:\/\/doi.org\/10.48550\/arXiv.2305.07766, https:\/\/doi.org\/10.48550\/arXiv.2305.07766","DOI":"10.48550\/arXiv.2305.07766"},{"key":"23_CR7","unstructured":"Czechowski, K., et al.: Subgoal search for complex reasoning tasks. In: Advances in Neural Information Processing Systems, vol. 34, pp. 624\u2013638 (2021)"},{"issue":"4","key":"23_CR8","doi-asserted-by":"publisher","first-page":"e1004864","DOI":"10.1371\/journal.pcbi.1004864","volume":"12","author":"F Donnarumma","year":"2016","unstructured":"Donnarumma, F., Maisto, D., Pezzulo, G.: Problem solving as probabilistic inference with subgoaling: explaining human successes and pitfalls in the tower of hanoi. PLoS Comput. Biol. 12(4), e1004864 (2016)","journal-title":"PLoS Comput. Biol."},{"issue":"1","key":"23_CR9","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1137\/S0036144504446096","volume":"47","author":"PE Gill","year":"2005","unstructured":"Gill, P.E., Murray, W., Saunders, M.A.: SNOPT: an SQP algorithm for large-scale constrained optimization. SIAM Rev. 47(1), 99\u2013131 (2005). https:\/\/doi.org\/10.1137\/S0036144504446096","journal-title":"SIAM Rev."},{"key":"23_CR10","unstructured":"Gurobi Optimization, Inc.: Gurobi optimizer reference manual (2012). http:\/\/www.gurobi.com"},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"Kapoor, P., Balakrishnan, A., Deshmukh, J.V.: Model-based reinforcement learning from signal temporal logic specifications. arXiv preprint arXiv:2011.04950 (2020)","DOI":"10.1109\/IROS40897.2019.8968254"},{"key":"23_CR12","doi-asserted-by":"publisher","first-page":"2635","DOI":"10.1109\/LCSYS.2022.3172857","volume":"6","author":"V Kurtz","year":"2022","unstructured":"Kurtz, V., Lin, H.: Mixed-integer programming for signal temporal logic with fewer binary variables. IEEE Control Syst. Lett. 6, 2635\u20132640 (2022)","journal-title":"IEEE Control Syst. Lett."},{"key":"23_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/978-3-031-33170-1_14","volume-title":"NASA Formal Methods","author":"K Leahy","year":"2023","unstructured":"Leahy, K., Mann, M., Vasile, C.I.: Rewrite-based decomposition of signal temporal logic specifications. In: Rozier, K.Y., Chaudhuri, S. (eds.) NFM 2023. LNCS, pp. 224\u2013240. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-33170-1_14"},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"Leung, K., Ar\u00e9chiga, N., Pavone, M.: Backpropagation through signal temporal logic specifications: Infusing logical structure into gradient-based methods. Int. J. Robot. Res. 02783649221082115 (2023)","DOI":"10.1177\/02783649221082115"},{"key":"23_CR15","doi-asserted-by":"crossref","unstructured":"Lindemann, L., Dimarogonas, D.V.: Control barrier functions for signal temporal logic tasks. IEEE Control Syst. Lett. 3, 96\u2013101 (2019). https:\/\/api.semanticscholar.org\/CorpusID:50767137","DOI":"10.1109\/LCSYS.2018.2853182"},{"key":"23_CR16","doi-asserted-by":"crossref","unstructured":"Maler, O., Nickovic, D.: Monitoring temporal properties of continuous signals. In: FORMATS\/FTRTFT (2004). https:\/\/api.semanticscholar.org\/CorpusID:15642684","DOI":"10.1007\/978-3-540-30206-3_12"},{"issue":"10","key":"23_CR17","doi-asserted-by":"publisher","first-page":"2208","DOI":"10.1109\/TSE.2019.2945329","volume":"47","author":"C Menghi","year":"2021","unstructured":"Menghi, C., Tsigkanos, C., Pelliccione, P., Ghezzi, C., Berger, T.: Specification patterns for robotic missions. IEEE Trans. Softw. Eng. 47(10), 2208\u20132224 (2021). https:\/\/doi.org\/10.1109\/TSE.2019.2945329","journal-title":"IEEE Trans. Softw. Eng."},{"key":"23_CR18","unstructured":"Nair, S., Finn, C.: Hierarchical foresight: self-supervised learning of long-horizon tasks via visual subgoal generation. ArXiv abs\/1909.05829 (2019). https:\/\/api.semanticscholar.org\/CorpusID:202565422"},{"key":"23_CR19","doi-asserted-by":"publisher","unstructured":"Pnueli, A.: The temporal logic of programs. In: 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp. 46\u201357 (1977). https:\/\/doi.org\/10.1109\/SFCS.1977.32","DOI":"10.1109\/SFCS.1977.32"},{"key":"23_CR20","doi-asserted-by":"publisher","unstructured":"Raman, V., Donz\u00e9, A., Maasoumy, M., Murray, R.M., Sangiovanni-Vincentelli, A., Seshia, S.A.: Model predictive control with signal temporal logic specifications. In: 53rd IEEE Conference on Decision and Control, pp. 81\u201387 (2014). https:\/\/doi.org\/10.1109\/CDC.2014.7039363","DOI":"10.1109\/CDC.2014.7039363"},{"issue":"2","key":"23_CR21","doi-asserted-by":"publisher","first-page":"480","DOI":"10.1109\/TAC.2018.2814631","volume":"64","author":"S Sadraddini","year":"2019","unstructured":"Sadraddini, S., Belta, C.: Formal synthesis of control strategies for positive monotone systems. IEEE Trans. Autom. Control 64(2), 480\u2013495 (2019). https:\/\/doi.org\/10.1109\/TAC.2018.2814631","journal-title":"IEEE Trans. Autom. Control"},{"key":"23_CR22","unstructured":"Sun, D., Chen, J., Mitra, S., Fan, C.: Multi-agent motion planning from signal temporal logic specifications. IEEE Robot. Autom. Lett. PP, 1\u20131 (2022). https:\/\/api.semanticscholar.org\/CorpusID:245986629"},{"key":"23_CR23","unstructured":"Tedrake, R., the Drake Development\u00a0Team: drake: model-based design and verification for robotics (2019). https:\/\/drake.mit.edu"},{"key":"23_CR24","doi-asserted-by":"crossref","unstructured":"Yu, X., Wang, C., Yuan, D., Li, S., Yin, X.: Model predictive control for signal temporal logic specifications with time interval decomposition (2022)","DOI":"10.1109\/CDC49753.2023.10383500"}],"container-title":["Lecture Notes in Computer Science","NASA Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-60698-4_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,27]],"date-time":"2024-05-27T00:04:50Z","timestamp":1716768290000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-60698-4_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031606977","9783031606984"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-60698-4_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"26 May 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"NFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"NASA Formal Methods Symposium","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Moffett Field, CA","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":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 June 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 June 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"nfm2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}