{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T12:11:02Z","timestamp":1767183062866,"version":"3.40.3"},"publisher-location":"Cham","reference-count":11,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031550140"},{"type":"electronic","value":"9783031550157"}],"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-55015-7_1","type":"book-chapter","created":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T20:57:33Z","timestamp":1710363453000},"page":"3-14","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Play Everywhere: A Temporal Logic Based Game Environment Independent Approach for\u00a0Playing Soccer with\u00a0Robots"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1199-8358","authenticated-orcid":false,"given":"Vincenzo","family":"Suriani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-2359-5032","authenticated-orcid":false,"given":"Emanuele","family":"Musumeci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6606-200X","authenticated-orcid":false,"given":"Daniele","family":"Nardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0339-8651","authenticated-orcid":false,"given":"Domenico Daniele","family":"Bloisi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,3,14]]},"reference":[{"issue":"4","key":"1_CR1","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1109\/TG.2021.3075065","volume":"13","author":"E Antonioni","year":"2021","unstructured":"Antonioni, E., Suriani, V., Riccio, F., Nardi, D.: Game strategies for physical robot soccer players: a survey. IEEE Trans. Games 13(4), 342\u2013357 (2021)","journal-title":"IEEE Trans. Games"},{"key":"1_CR2","doi-asserted-by":"publisher","unstructured":"Bastianelli, E., et al.: On-line semantic mapping. In: ICAR, pp. 1\u20136 (2013). https:\/\/doi.org\/10.1109\/ICAR.2013.6766501","DOI":"10.1109\/ICAR.2013.6766501"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Capobianco, R., Serafin, J., Dichtl, J., Grisetti, G., Iocchi, L., Nardi, D.: A proposal for semantic map representation and evaluation. In: 2015 European Conference on Mobile Robots (ECMR), pp. 1\u20136. IEEE (2015)","DOI":"10.1109\/ECMR.2015.7324198"},{"key":"1_CR4","unstructured":"De Giacomo, G., Favorito, M., Fuggitti, F.: Planning for temporally extended goals in pure-past linear temporal logic: a polynomial reduction to standard planning (2022)"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"De Giacomo, G., Rubin, S.: Automata-theoretic foundations of fond planning for LTLF and LDLF goals. In: IJCAI, pp. 4729\u20134735 (2018)","DOI":"10.24963\/ijcai.2018\/657"},{"key":"1_CR6","unstructured":"De Giacomo, G., Vardi, M.Y.: Linear temporal logic and linear dynamic logic on finite traces. In: Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, IJCAI 2013, pp. 854\u2013860. AAAI Press (2013)"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Kurach, K., et al.: Google research football: a novel reinforcement learning environment. In: Proceedings of the AAAI Conference on Artificial Intelligence, vol. 34, pp. 4501\u20134510 (2020)","DOI":"10.1609\/aaai.v34i04.5878"},{"key":"1_CR8","doi-asserted-by":"publisher","unstructured":"Mattm\u00fcller, R., Ortlieb, M., Helmert, M., Bercher, P.: Pattern database heuristics for fully observable nondeterministic planning. In: Proceedings of the International Conference on Automated Planning and Scheduling, vol. 20, no. 1, pp. 105\u2013112 (2021). https:\/\/doi.org\/10.1609\/icaps.v20i1.13408","DOI":"10.1609\/icaps.v20i1.13408"},{"key":"1_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1007\/978-3-031-28469-4_10","volume-title":"RoboCup 2022","author":"E Musumeci","year":"2022","unstructured":"Musumeci, E., Suriani, V., Antonioni, E., Nardi, D., Bloisi, D.D.: Adaptive team behavior planning using human coach commands. In: Eguchi, A., Lau, N., Paetzel-Pr\u00fcsmann, M., Wanichanon, T. (eds.) RoboCup 2022. LNCS, vol. 13561, pp. 112\u2013123. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-28469-4_10"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Pronobis, A., Jensfelt, P.: Large-scale semantic mapping and reasoning with heterogeneous modalities. In: 2012 IEEE International Conference on Robotics and Automation, pp. 3515\u20133522. IEEE (2012)","DOI":"10.1109\/ICRA.2012.6224637"},{"key":"1_CR11","unstructured":"R\u00f6fer, T., et al.: B-Human team report and code release 2021 (2021). http:\/\/www.b-human.de\/downloads\/publications\/2021\/CodeRelease2021.pdf"}],"container-title":["Lecture Notes in Computer Science","RoboCup 2023: Robot World Cup XXVI"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-55015-7_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T20:57:44Z","timestamp":1710363464000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-55015-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031550140","9783031550157"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-55015-7_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"14 March 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RoboCup","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Robot World Cup","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bordeaux","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 July 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 July 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"robocup2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/2023.robocup.org\/en\/home\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"59","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"36","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"61% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}