{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T17:49:18Z","timestamp":1742924958269,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031485381"},{"type":"electronic","value":"9783031485398"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"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":[[2023]]},"DOI":"10.1007\/978-3-031-48539-8_3","type":"book-chapter","created":{"date-parts":[[2023,11,25]],"date-time":"2023-11-25T06:01:30Z","timestamp":1700892090000},"page":"41-58","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["vGOAL: A\u00a0GOAL-Based Specification Language for\u00a0Safe Autonomous Decision-Making"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9565-1559","authenticated-orcid":false,"given":"Yi","family":"Yang","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":[[2023,11,26]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Bordini, R.H., Fisher, M., Pardavila, C., Wooldridge, M.: Model checking agentspeak. In: Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 409\u2013416 (2003)","DOI":"10.1145\/860575.860641"},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/11750734_9","volume-title":"Computational Logic in Multi-Agent Systems","author":"RH Bordini","year":"2006","unstructured":"Bordini, R.H., H\u00fcbner, J.F.: BDI agent programming in AgentSpeak using Jason. In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS (LNAI), vol. 3900, pp. 143\u2013164. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11750734_9"},{"key":"3_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71956-4","volume-title":"Programming Multi-agent Systems in AgentSpeak Using Jason","author":"RH Bordini","year":"2007","unstructured":"Bordini, R.H., H\u00fcbner, J.F., Wooldridge, M.: Programming Multi-agent Systems in AgentSpeak Using Jason. John Wiley & Sons, Hoboken (2007)"},{"issue":"2","key":"3_CR4","doi-asserted-by":"publisher","first-page":"16","DOI":"10.3390\/computers10020016","volume":"10","author":"RC Cardoso","year":"2021","unstructured":"Cardoso, R.C., Ferrando, A.: A review of agent-based programming for multi-agent systems. Computers 10(2), 16 (2021)","journal-title":"Computers"},{"key":"3_CR5","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/978-3-030-66412-1_13","volume-title":"Multi-Agent Systems and Agreement Technologies","author":"RC Cardoso","year":"2020","unstructured":"Cardoso, R.C., Ferrando, A., Dennis, L.A., Fisher, M.: An interface for programming verifiable autonomous agents in ROS. In: Bassiliades, N., Chalkiadakis, G., de Jonge, D. (eds.) EUMAS\/AT -2020. LNCS (LNAI), vol. 12520, pp. 191\u2013205. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-66412-1_13"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"592","DOI":"10.1007\/978-3-319-63390-9_31","volume-title":"Computer Aided Verification","author":"C Dehnert","year":"2017","unstructured":"Dehnert, C., Junges, S., Katoen, J.-P., Volk, M.: A storm is coming: a modern probabilistic model checker. In: Majumdar, R., Kun\u010dak, V. (eds.) CAV 2017. LNCS, vol. 10427, pp. 592\u2013600. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-63390-9_31"},{"key":"3_CR7","unstructured":"Dennis, L.A.: Gwendolen semantics: 2017 (2017)"},{"key":"3_CR8","unstructured":"Dennis, L.A., Farwer, B.: Gwendolen: a BDI language for verifiable agents. In: Proceedings of the AISB 2008 Symposium on Logic and the Simulation of Interaction and Reasoning, Society for the Study of Artificial Intelligence and Simulation of Behaviour, pp. 16\u201323. Citeseer (2008)"},{"issue":"1","key":"3_CR9","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/s10515-011-0088-x","volume":"19","author":"LA Dennis","year":"2012","unstructured":"Dennis, L.A., Fisher, M., Webster, M.P., Bordini, R.H.: Model checking agent programming languages. Autom. Softw. Eng. 19(1), 5\u201363 (2012)","journal-title":"Autom. Softw. Eng."},{"key":"3_CR10","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/978-0-387-89299-3_4","volume-title":"Multi-Agent Programming","author":"KV Hindriks","year":"2009","unstructured":"Hindriks, K.V.: Programming rational agents in GOAL. In: El Fallah Seghrouchni, A., Dix, J., Dastani, M., Bordini, R.H. (eds.) Multi-Agent Programming, pp. 119\u2013157. Springer, Boston, MA (2009). https:\/\/doi.org\/10.1007\/978-0-387-89299-3_4"},{"key":"3_CR11","unstructured":"Hindriks, K.V.: Programming cognitive agents in GOAL. Vrije Universiteit Amsterdam (2021)"},{"key":"3_CR12","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/978-3-642-54432-3_12","volume-title":"Agent-Oriented Software Engineering","author":"KV Hindriks","year":"2014","unstructured":"Hindriks, K.V., Dix, J.: GOAL: a multi-agent programming language applied to an exploration game. In: Shehory, O., Sturm, A. (eds.) Agent-Oriented Software Engineering, pp. 235\u2013258. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-642-54432-3_12"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Jensen, A.B., Hindriks, K.V., Villadsen, J.: On using theorem proving for cognitive agent-oriented programming. In: 13th International Conference on Agents and Artificial Intelligence, pp. 446\u2013453. Science and Technology Publishing (2021)","DOI":"10.5220\/0010349504460453"},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-3-030-59299-8_4","volume-title":"The Multi-Agent Programming Contest 2019","author":"AB Jensen","year":"2020","unstructured":"Jensen, A.B., Villadsen, J.: GOAL-DTU: development of distributed intelligence for the multi-agent programming contest. In: Ahlbrecht, T., Dix, J., Fiekas, N., Krausburg, T. (eds.) MAPC 2019. LNCS (LNAI), vol. 12381, pp. 79\u2013105. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-59299-8_4"},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/3-540-46029-2_13","volume-title":"Computer Performance Evaluation: Modelling Techniques and Tools","author":"M Kwiatkowska","year":"2002","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM: probabilistic symbolic model checker. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol. 2324, pp. 200\u2013204. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-46029-2_13"},{"key":"3_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1007\/978-3-030-97457-2_19","volume-title":"Engineering Multi-Agent Systems, EMAS 2021","author":"P Stringer","year":"2022","unstructured":"Stringer, P., Cardoso, R.C., Dixon, C., Dennis, L.A.: Implementing durative actions with failure detection in Gwendolen. In: Alechina, N., Baldoni, M., Logan, B. (eds.) EMAS 2021. LNCS, vol. 13190, pp. 332\u2013351. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-030-97457-2_19"},{"key":"3_CR17","unstructured":"Yang, Y.: Verifiably safe decision-making for autonomous systems. In: Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, pp. 2973\u20132975 (2023)"},{"key":"3_CR18","unstructured":"Yang, Y.: vGOAL (2023). https:\/\/kuleuven-my.sharepoint.com\/:f:\/g\/personal\/yi_yang_kuleuven_be\/EjUTI-DUvkdBlBKoNWxcVgIB8GMfhyAZHSA_i1b7ovskqw?e=k6FINj"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"Yang, Y., Holvoet, T.: Generating safe autonomous decision-making in ROS. In: Fourth Workshop on Formal Methods for Autonomous Systems, vol. 371, pp. 184\u2013192. Open Publishing Association (9 2022)","DOI":"10.4204\/EPTCS.371.13"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Yang, Y., Holvoet, T.: Making model checking feasible for GOAL. In: 10th International Workshop on Engineering Multi-Agent Systems (2022)","DOI":"10.1007\/s10472-023-09898-3"}],"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-031-48539-8_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,25]],"date-time":"2023-11-25T06:07:27Z","timestamp":1700892447000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-48539-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031485381","9783031485398"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-48539-8_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"26 November 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"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":"London","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","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":"29 May 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 May 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"emas2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/emas.in.tu-clausthal.de\/2023\/","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":"25","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":"11","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":"7","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":"44% - 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":"1-2","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":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}