{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T07:06:30Z","timestamp":1770966390435,"version":"3.50.1"},"publisher-location":"Cham","reference-count":11,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032180100","type":"print"},{"value":"9783032180117","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"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":[[2026]]},"DOI":"10.1007\/978-3-032-18011-7_7","type":"book-chapter","created":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T06:07:18Z","timestamp":1770962838000},"page":"100-116","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["LTL Semantics for\u00a0Tumato: A Declarative Approach to\u00a0Autonomous Agent Planning"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7898-7859","authenticated-orcid":false,"given":"Jan","family":"Vermaelen","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1304-3467","authenticated-orcid":false,"given":"Tom","family":"Holvoet","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2026,2,14]]},"reference":[{"key":"7_CR1","unstructured":"Baier, C., Katoen, J.P.: Principles of model checking. MIT press (2008)"},{"issue":"1","key":"7_CR2","doi-asserted-by":"publisher","first-page":"3515","DOI":"10.3182\/20110828-6-IT-1002.02287","volume":"44","author":"XCD Ding","year":"2011","unstructured":"Ding, X.C.D., Smith, S.L., Belta, C., Rus, D.: LTL control in uncertain environments with probabilistic satisfaction guarantees. IFAC Proc. Vol. 44(1), 3515\u20133520 (2011)","journal-title":"IFAC Proc. Vol."},{"key":"7_CR3","unstructured":"Dinh, H.T., Cruz\u00a0Torres, M.H., Holvoet, T.: Sound and complete reactive UAV behavior using constraint programming (2017). https:\/\/lirias.kuleuven.be\/retrieve\/470086"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Fainekos, G.E., Kress-Gazit, H., Pappas, G.J.: Temporal logic motion planning for mobile robots. In: Proceedings of the 2005 IEEE International Conference on Robotics and Automation, pp. 2020\u20132025. IEEE (2005)","DOI":"10.1109\/ROBOT.2005.1570410"},{"issue":"6","key":"7_CR5","doi-asserted-by":"publisher","first-page":"3602","DOI":"10.1109\/tro.2022.3181948","volume":"38","author":"X Luo","year":"2022","unstructured":"Luo, X., Zavlanos, M.M.: Temporal logic task allocation in heterogeneous multirobot systems. IEEE Trans. Rob. 38(6), 3602\u20133621 (2022). https:\/\/doi.org\/10.1109\/tro.2022.3181948","journal-title":"IEEE Trans. Rob."},{"key":"7_CR6","doi-asserted-by":"publisher","unstructured":"Tumova, J., Castro, L.I.R., Karaman, S., Frazzoli, E., Rus, D.: Minimum-violation LTL planning with conflicting specifications. In: 2013 American Control Conference, pp. 200\u2013205. IEEE (2013).https:\/\/doi.org\/10.1109\/acc.2013.6579837","DOI":"10.1109\/acc.2013.6579837"},{"key":"7_CR7","doi-asserted-by":"publisher","unstructured":"Tumova, J., Karaman, S., Belta, C., Rus, D.: Least-violating planning in road networks from temporal logic specifications. In: 2016 ACM\/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS), pp.\u00a01\u20139. IEEE (2016https:\/\/doi.org\/10.1109\/iccps.2016.7479106","DOI":"10.1109\/iccps.2016.7479106"},{"key":"7_CR8","doi-asserted-by":"publisher","unstructured":"Vermaelen, J., Holvoet, T.: Tumato 2.0-a constraint-based planning approach for safe and robust robot behavior. Ann. Math. Artif. Intell. 1\u201327 (2024https:\/\/doi.org\/10.1007\/s10472-024-09949-3","DOI":"10.1007\/s10472-024-09949-3"},{"key":"7_CR9","doi-asserted-by":"publisher","unstructured":"Vermaelen, J., Holvoet, T.: An empirical evaluation of a formal approach versus ad hoc implementations in robot behavior planning. Sci. Comput. Programm. 241, 103226 (2025). https:\/\/doi.org\/10.1016\/j.scico.2024.103226","DOI":"10.1016\/j.scico.2024.103226"},{"key":"7_CR10","doi-asserted-by":"publisher","unstructured":"Wang, Y., Nalluri, S., Pajic, M.: Hyperproperties for robotics: planning via HyperLTL. In: 2020 IEEE International Conference on Robotics and Automation (ICRA), pp. 8462\u20138468. IEEE (2020https:\/\/doi.org\/10.1109\/icra40945.2020.9196874","DOI":"10.1109\/icra40945.2020.9196874"},{"issue":"5","key":"7_CR11","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/j.ifacol.2016.07.095","volume":"49","author":"N Xu","year":"2016","unstructured":"Xu, N., Li, J., Niu, Y., Shen, L.: An LTL-based motion and action dynamic planning method for autonomous robot. IFAC-PapersOnLine 49(5), 91\u201396 (2016)","journal-title":"IFAC-PapersOnLine"}],"container-title":["Lecture Notes in Computer Science","Engineering Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-18011-7_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T06:07:19Z","timestamp":1770962839000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-18011-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032180100","9783032180117"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-18011-7_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"14 February 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The authors have no competing interests to declare that are relevant to the content of this article.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Disclosure of Interests"}},{"value":"EMAS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Engineering Multi-Agent Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Detroit, MI","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":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 May 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 May 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"emas2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/emas.in.tu-clausthal.de\/2025\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}