{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:09:42Z","timestamp":1742911782347,"version":"3.40.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031376153"},{"type":"electronic","value":"9783031376160"}],"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-37616-0_32","type":"book-chapter","created":{"date-parts":[[2023,7,11]],"date-time":"2023-07-11T20:37:53Z","timestamp":1689107873000},"page":"388-400","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Safe Autonomous Decision-Making with\u00a0vGOAL"],"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,7,12]]},"reference":[{"key":"32_CR1","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)"},{"issue":"2","key":"32_CR2","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/j.jal.2005.12.014","volume":"5","author":"FS de Boer","year":"2007","unstructured":"de Boer, F.S., Hindriks, K.V., van der Hoek, W., Meyer, J.J.C.: A verification framework for agent programming with declarative goals. J. Appl. Log. 5(2), 277\u2013302 (2007)","journal-title":"J. Appl. Log."},{"key":"32_CR3","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":"32_CR4","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":"32_CR5","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. Wiley, Hoboken (2007)"},{"key":"32_CR6","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":"32_CR7","series-title":"Springer Tracts in Advanced Robotics","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1007\/978-3-319-29363-9_28","volume-title":"Robotics Research","author":"C Crick","year":"2017","unstructured":"Crick, C., Jay, G., Osentoski, S., Pitzer, B., Jenkins, O.C.: Rosbridge: ROS for non-ROS users. In: Christensen, H.I., Khatib, O. (eds.) Robotics Research. STAR, vol. 100, pp. 493\u2013504. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-29363-9_28"},{"key":"32_CR8","doi-asserted-by":"crossref","unstructured":"Dastani, M., Tinnemeier, N.A., Meyer, J.J.C.: A programming language for normative multi-agent systems. In: Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models, pp. 397\u2013417. IGI Global (2009)","DOI":"10.4018\/978-1-60566-256-5.ch016"},{"key":"32_CR9","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":"32_CR10","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/978-3-030-66494-7_7","volume-title":"Softw. Eng. Robot.","author":"L Dennis","year":"2021","unstructured":"Dennis, L., Fisher, M.: Verifiable autonomy and responsible robotics. In: Softw. Eng. Robot., pp. 189\u2013217. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-66494-7_7"},{"key":"32_CR11","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)"},{"key":"32_CR12","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/s10515-014-0168-9","volume":"23","author":"LA Dennis","year":"2016","unstructured":"Dennis, L.A., Fisher, M., Lincoln, N.K., Lisitsa, A., Veres, S.M.: Practical verification of decision-making in agent-based autonomous systems. Autom. Softw. Eng. 23, 305\u2013359 (2016)","journal-title":"Autom. Softw. Eng."},{"issue":"1","key":"32_CR13","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":"32_CR14","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":"32_CR15","doi-asserted-by":"crossref","unstructured":"Hunt, N., Fulton, N., Magliacane, S., Hoang, T.N., Das, S., Solar-Lezama, A.: Verifiably safe exploration for end-to-end reinforcement learning. In: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control, pp. 1\u201311 (2021)","DOI":"10.1145\/3447928.3456653"},{"key":"32_CR16","unstructured":"Jansen, N., K\u00f6nighofer, B., Junges, J., Serban, A., Bloem, R.: Safe reinforcement learning using probabilistic shields (2020)"},{"key":"32_CR17","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":"32_CR18","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":"32_CR19","unstructured":"Weiss, G.: Multiagent Systems. MIT Press, Cambridge (2013)"},{"key":"32_CR20","doi-asserted-by":"crossref","unstructured":"Winikoff, M.: Implementing commitment-based interactions. In: Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 1\u20138 (2007)","DOI":"10.1145\/1329125.1329283"},{"key":"32_CR21","doi-asserted-by":"crossref","unstructured":"Yang, W.C., Marra, G., Rens, G., De Raedt, L.: Safe reinforcement learning via probabilistic logic shields. arXiv preprint arXiv:2303.03226 (2023)","DOI":"10.24963\/ijcai.2023\/637"},{"key":"32_CR22","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":"32_CR23","unstructured":"Yang, Y.: vGOAL demo video (2023). https:\/\/kuleuven-my.sharepoint.com\/:f:\/g\/personal\/yi_yang_kuleuven_be\/EiB5CHUuIk9Ij-qDnKmOLk8BST7v3xlPydfryfL5HcXRmg?e=NiqYu8"},{"key":"32_CR24","unstructured":"Yang, Y.: vGOAL interpreter source code (2023). https:\/\/github.com\/YiYangKUL\/vGOAL"},{"key":"32_CR25","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"},{"key":"32_CR26","doi-asserted-by":"crossref","unstructured":"Yang, Y., Holvoet, T.: vGOAL: a GOAL-based specification language for safe autonomous decision-making. In: 11th International Workshop on Engineering Multi-Agent Systems (2023)","DOI":"10.1007\/978-3-031-37616-0_32"}],"container-title":["Lecture Notes in Computer Science","Advances in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-37616-0_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,16]],"date-time":"2023-12-16T22:31:05Z","timestamp":1702765865000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-37616-0_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031376153","9783031376160"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-37616-0_32","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":"12 July 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"PAAMS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Practical Applications of Agents and Multi-Agent Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Guimaraes","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","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":"12 July 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 July 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"paams2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.paams.net\/","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":"70","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":"32","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":"46% - 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":"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)"}},{"value":"PAAMS 2023 Workshops: 26 submissions, 14 full papers accepted, 5 demonstration papers","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}