{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T02:31:29Z","timestamp":1775788289275,"version":"3.50.1"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031741852","type":"print"},{"value":"9783031741869","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,10,9]],"date-time":"2024-10-09T00:00:00Z","timestamp":1728432000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,9]],"date-time":"2024-10-09T00:00:00Z","timestamp":1728432000000},"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":[[2025]]},"DOI":"10.1007\/978-3-031-74186-9_19","type":"book-chapter","created":{"date-parts":[[2024,10,8]],"date-time":"2024-10-08T07:04:34Z","timestamp":1728371074000},"page":"224-236","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Common Sense Plan Verification with\u00a0Large Language Models"],"prefix":"10.1007","author":[{"given":"Danil S.","family":"Grigorev","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2180-0990","authenticated-orcid":false,"given":"Alexey K.","family":"Kovalev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9747-3837","authenticated-orcid":false,"given":"Aleksandr I.","family":"Panov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,10,9]]},"reference":[{"key":"19_CR1","unstructured":"Aeronautiques, C., et al.: Pddl| the planning domain definition language. Tech. Rep, Technical Report (1998)"},{"key":"19_CR2","unstructured":"Ahn, M., et\u00a0al.: Do as i can, not as i say: Grounding language in robotic affordances. arXiv preprint arXiv:2204.01691 (2022)"},{"key":"19_CR3","first-page":"1877","volume":"33","author":"T Brown","year":"2020","unstructured":"Brown, T., et al.: Language models are few-shot learners. Adv. Neural. Inf. Process. Syst. 33, 1877\u20131901 (2020)","journal-title":"Adv. Neural. Inf. Process. Syst."},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"Chen, Y., Arkin, J., Zhang, Y., Roy, N., Fan, C.: Autotamp: Autoregressive task and motion planning with llms as translators and checkers. arXiv preprint arXiv:2306.06531 (2023)","DOI":"10.1109\/ICRA57147.2024.10611163"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"Chen, Y., Gandhi, R., Zhang, Y., Fan, C.: Nl2tl: Transforming natural languages to temporal logics using large language models. arXiv preprint arXiv:2305.07766 (2023)","DOI":"10.18653\/v1\/2023.emnlp-main.985"},{"key":"19_CR6","doi-asserted-by":"publisher","unstructured":"Chuganskaya, A.A., Kovalev, A.K., Panov, A.: The problem of concept learning and goals of reasoning in large language models. In: International Conference on Hybrid Artificial Intelligence Systems, pp. 661\u2013672. Springer (2023). https:\/\/doi.org\/10.1007\/978-3-031-40725-3_56","DOI":"10.1007\/978-3-031-40725-3_56"},{"key":"19_CR7","doi-asserted-by":"publisher","unstructured":"Duret-Lutz, A., et al.: From spot 2.0 to spot 2.10: what\u2019s new? In: Proceedings of the 34th International Conference on Computer Aided Verification (CAV 2022). LNCS, vol. 13372, pp. 174\u2013187. Springer (2022). https:\/\/doi.org\/10.1007\/978-3-031-13188-2_9","DOI":"10.1007\/978-3-031-13188-2_9"},{"key":"19_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1007\/978-3-642-39799-8_31","volume-title":"Computer Aided Verification","author":"J Esparza","year":"2013","unstructured":"Esparza, J., Lammich, P., Neumann, R., Nipkow, T., Schimpf, A., Smaus, J.-G.: A fully verified executable LTL model checker. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol. 8044, pp. 463\u2013478. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39799-8_31"},{"key":"19_CR9","unstructured":"Gopalan, N., Arumugam, D., Wong, L.L., Tellex, S.: Sequence-to-sequence language grounding of non-markovian task specifications"},{"key":"19_CR10","unstructured":"Hao, S., et al.: Reasoning with language model is planning with world model. arXiv preprint arXiv:2305.14992 (2023)"},{"key":"19_CR11","unstructured":"Huang, W., Abbeel, P., Pathak, D., Mordatch, I.: Language models as zero-shot planners: Extracting actionable knowledge for embodied agents. In: International Conference on Machine Learning, pp. 9118\u20139147. PMLR (2022)"},{"key":"19_CR12","unstructured":"Huang, W., et\u00a0al.: Inner monologue: Embodied reasoning through planning with language models. arXiv preprint arXiv:2207.05608 (2022)"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"Jiang, Y.q., Zhang, S.q., Khandelwal, P., Stone, P.: Task planning in robotics: an empirical comparison of pddl-and asp-based systems. Front. Inform. Technol. Electr. Eng. 20, 363\u2013373 (2019)","DOI":"10.1631\/FITEE.1800514"},{"key":"19_CR14","unstructured":"Jojic, A., Wang, Z., Jojic, N.: Gpt is becoming a turing machine: Here are some ways to program it. arXiv preprint arXiv:2303.14310 (2023)"},{"key":"19_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0055036","volume-title":"Automata, Languages and Programming","author":"Y Kesten","year":"1998","unstructured":"Kesten, Y., Pnueli, A., Raviv, L.: Algorithmic verification of linear temporal logic specifications. In: Larsen, K.G., Skyum, S., Winskel, G. (eds.) ICALP 1998. LNCS, vol. 1443, pp. 1\u201316. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/BFb0055036"},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"Kovalev, A.K., Panov, A.I.: Application of pretrained large language models in embodied artificial intelligence. In: Doklady Mathematics, vol.\u00a0106, pp. S85\u2013S90. Springer (2022)","DOI":"10.1134\/S1064562422060138"},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"Liang, J., et al.: Code as policies: language model programs for embodied control. In: 2023 IEEE International Conference on Robotics and Automation (ICRA), pp. 9493\u20139500. IEEE (2023)","DOI":"10.1109\/ICRA48891.2023.10160591"},{"key":"19_CR18","unstructured":"Liu, B., et al.: Llm+ p: empowering large language models with optimal planning proficiency. arXiv preprint arXiv:2304.11477 (2023)"},{"key":"19_CR19","unstructured":"Liu, J.X., et al.: Grounding complex natural language commands for temporal tasks in unseen environments. In: Conference on Robot Learning, pp. 1084\u20131110. PMLR (2023)"},{"key":"19_CR20","unstructured":"Ocker, F., Deigm\u00f6ller, J., Eggert, J.: Exploring large language models as a source of common-sense knowledge for robots. arXiv preprint arXiv:2311.08412 (2023)"},{"key":"19_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/978-3-319-23820-3_12","volume-title":"Runtime Verification","author":"A Perotti","year":"2015","unstructured":"Perotti, A., Boella, G., Garcez, A.A.: Runtime verification through forward chaining. In: Bartocci, E., Majumdar, R. (eds.) RV 2015. LNCS, vol. 9333, pp. 185\u2013200. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-23820-3_12"},{"key":"19_CR22","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp. 46\u201357. IEEE (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"19_CR23","unstructured":"Quartey, B., Rosen, E., Tellex, S., Konidaris, G.: Verifiably following complex robot instructions with foundation models. arXiv preprint arXiv:2402.11498 (2024)"},{"issue":"140","key":"19_CR24","first-page":"1","volume":"21","author":"C Raffel","year":"2020","unstructured":"Raffel, C., et al.: Exploring the limits of transfer learning with a unified text-to-text transformer. J. Mach. Learn. Res. 21(140), 1\u201367 (2020)","journal-title":"J. Mach. Learn. Res."},{"key":"19_CR25","doi-asserted-by":"publisher","unstructured":"Sarkisyan, C., Korchemnyi, A., Kovalev, A.K., Panov, A.I.: Evaluation of pretrained large language models in embodied planning tasks. In: International Conference on Artificial General Intelligence, pp. 222\u2013232. Springer (2023). https:\/\/doi.org\/10.1007\/978-3-031-33469-6_23","DOI":"10.1007\/978-3-031-33469-6_23"},{"key":"19_CR26","doi-asserted-by":"crossref","unstructured":"Silver, T., Dan, S., Srinivas, K., Tenenbaum, J.B., Kaelbling, L., Katz, M.: Generalized planning in pddl domains with pretrained large language models. In: Proceedings of the AAAI Conference on Artificial Intelligence, vol.\u00a038, pp. 20256\u201320264 (2024)","DOI":"10.1609\/aaai.v38i18.30006"},{"key":"19_CR27","doi-asserted-by":"crossref","unstructured":"Singh, I., et al.: Progprompt: Generating situated robot task plans using large language models. In: 2023 IEEE International Conference on Robotics and Automation (ICRA), pp. 11523\u201311530. IEEE (2023)","DOI":"10.1109\/ICRA48891.2023.10161317"},{"key":"19_CR28","doi-asserted-by":"crossref","unstructured":"Song, C.H., Wu, J., Washington, C., Sadler, B.M., Chao, W.L., Su, Y.: Llm-planner: few-shot grounded planning for embodied agents with large language models. In: Proceedings of the IEEE\/CVF International Conference on Computer Vision, pp. 2998\u20133009 (2023)","DOI":"10.1109\/ICCV51070.2023.00280"},{"key":"19_CR29","unstructured":"Sutskever, I., Vinyals, O., Le, Q.V.: Sequence to sequence learning with neural networks. Adv. Neural Inform. Process. Syst. 27 (2014)"},{"key":"19_CR30","unstructured":"Wang, X., et al.: Self-consistency improves chain of thought reasoning in language models. arXiv preprint arXiv:2203.11171 (2022)"},{"key":"19_CR31","first-page":"24824","volume":"35","author":"J Wei","year":"2022","unstructured":"Wei, J., et al.: Chain-of-thought prompting elicits reasoning in large language models. Adv. Neural. Inf. Process. Syst. 35, 24824\u201324837 (2022)","journal-title":"Adv. Neural. Inf. Process. Syst."},{"key":"19_CR32","doi-asserted-by":"crossref","unstructured":"Yang, Z., Raman, S.S., Shah, A., Tellex, S.: Plug in the safety chip: Enforcing constraints for llm-driven robot agents. arXiv preprint arXiv:2309.09919 (2023)","DOI":"10.1109\/ICRA57147.2024.10611447"},{"key":"19_CR33","doi-asserted-by":"crossref","unstructured":"Zhou, X., Zhang, Y., Cui, L., Huang, D.: Evaluating commonsense in pre-trained language models. In: Proceedings of the AAAI Conference on Artificial Intelligence, vol.\u00a034, pp. 9733\u20139740 (2020)","DOI":"10.1609\/aaai.v34i05.6523"}],"container-title":["Lecture Notes in Computer Science","Hybrid Artificial Intelligent Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-74186-9_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,8]],"date-time":"2024-10-08T07:07:29Z","timestamp":1728371249000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-74186-9_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,9]]},"ISBN":["9783031741852","9783031741869"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-74186-9_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,10,9]]},"assertion":[{"value":"9 October 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"HAIS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Hybrid Artificial Intelligence Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Salamanca","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","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":"9 October 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 October 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"hais2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/haisconference.eu\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}