{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T17:31:25Z","timestamp":1743010285698,"version":"3.40.3"},"publisher-location":"Cham","reference-count":42,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031755989"},{"type":"electronic","value":"9783031755996"}],"license":[{"start":{"date-parts":[[2024,10,26]],"date-time":"2024-10-26T00:00:00Z","timestamp":1729900800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,26]],"date-time":"2024-10-26T00:00:00Z","timestamp":1729900800000},"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-75599-6_22","type":"book-chapter","created":{"date-parts":[[2024,10,25]],"date-time":"2024-10-25T20:16:25Z","timestamp":1729887385000},"page":"302-320","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Safety Assurances in\u00a0Autonomous Vessels"],"prefix":"10.1007","author":[{"given":"Sreekant","family":"Sreedharan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Muthu","family":"Ramachandran","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erik","family":"R\u00f8s\u00e6g","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B\u00f8rge","family":"Rokseth","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,10,26]]},"reference":[{"issue":"3","key":"22_CR1","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1177\/2041296710394300","volume":"225","author":"M Baldauf","year":"2011","unstructured":"Baldauf, M., Benedict, K., Fischer, S., Motz, F., Schr\u00f6der-Hinrichs, J.U.: Collision avoidance systems in air and maritime traffic. Proc. Inst. Mech. Eng. Part O: J. Risk Reliab. 225(3), 233\u2013245 (2011)","journal-title":"Proc. Inst. Mech. Eng. Part O: J. Risk Reliab."},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Burmeister, H.C., Constapel, M.: Autonomous collision avoidance at sea: a survey. Front. Robot. AI 297, 739013 (2021)","DOI":"10.3389\/frobt.2021.739013"},{"key":"22_CR3","doi-asserted-by":"publisher","unstructured":"Corso, A., Moss, R., Koren, M., Lee, R., Kochenderfer, M.: A survey of algorithms for black-box safety validation of cyber-physical systems. J. Artif. Intell. Res. 72 (2021). https:\/\/doi.org\/10.1613\/jair.1.12716","DOI":"10.1613\/jair.1.12716"},{"key":"22_CR4","unstructured":"DNV GL, Kongsberg, SINTEF Ocean, NTNU, 2018. Open Simulation Platform, September 2018. www.opensimulationplatform.com"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"Fossen, T.I.: Handbook of Marine Craft Hydrodynamics and Motion Control. Wiley, Hoboken, 2nd edn (2021)","DOI":"10.1002\/9781119575016"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Foster, S., Gleirscher, M., Calinescu, R.: Towards deductive verification of control algorithms for autonomous marine vehicles 2020 25th International Conference on Engineering of Complex Computer Systems (ICECCS), pp. 113\u2013118. IEEE (2020)","DOI":"10.1109\/ICECCS51672.2020.00020"},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"Fremont, D.J., et al.: Mehta formal scenario-based testing of autonomous vehicles: from simulation to the real world. In: IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC), pp. 1\u20138 (2020)","DOI":"10.1109\/ITSC45102.2020.9294368"},{"key":"22_CR8","doi-asserted-by":"publisher","first-page":"115991","DOI":"10.1016\/j.oceaneng.2023.115991","volume":"288","author":"IB Hagen","year":"2022","unstructured":"Hagen, I.B., Vassbotn, O., Skogvold, M., Johansen, T.A., Brekke, E.F.: Safety and COLREGs evaluation for marine collision avoidance algorithms. Ocean Eng. 288, 115991 (2022)","journal-title":"Ocean Eng."},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"Hagen, I.B., Kufoalor, M.K., Brekke, E.F., Johansen,T.A.: Scenario-based model predictive control with several steps for COLREGs compliant ship collision avoidance. In: 14th IFAC Conference on Control Applications in Marine Systems, Robotics and Vehicles (CAMS) (2022)","DOI":"10.1016\/j.ifacol.2022.10.447"},{"key":"22_CR10","doi-asserted-by":"publisher","unstructured":"Hawkins, J., Lewis, M., Klukas, M., Purdy, S., Ahmad, S.: A framework for intelligence and cortical function based on grid cells in the neocortex. Front. Neural Circ. 12 (2019). https:\/\/doi.org\/10.3389\/fncir.2018.00121","DOI":"10.3389\/fncir.2018.00121"},{"key":"22_CR11","doi-asserted-by":"publisher","unstructured":"Hawkins, J., Ahmad, S., Cui, Y.: Why does the neocortex have columns, a theory of learning the structure of the world (2017) https:\/\/doi.org\/10.1101\/162263","DOI":"10.1101\/162263"},{"key":"22_CR12","doi-asserted-by":"publisher","unstructured":"Hawkins, J., Ahmad, S., Cui, Y.: A theory of how columns in the neocortex enable learning the structure of the world. Front. Neural Circ. 11 (2017). https:\/\/doi.org\/10.3389\/fncir.2017.00081","DOI":"10.3389\/fncir.2017.00081"},{"key":"22_CR13","unstructured":"Hawkins, J., Blakeslee, S.: On Intelligence. Times Books, Manhattan, NY, USA (2004)"},{"key":"22_CR14","doi-asserted-by":"publisher","unstructured":"He, Y., Li, Z., Mou, J., Hu, W., Li, L., Wang, B.: Collision-avoidance path planning for multi-ship encounters considering ship manoeuvrability and COLREGs. Transp. Saf. Environ. (2021). https:\/\/doi.org\/10.1093\/tse\/tdab004","DOI":"10.1093\/tse\/tdab004"},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"Huang, Y., Chen, L., Chen, P., Negenborn, R.R., Van Gelder, P.H.A.J.M.: Ship collision avoidance methods: state-of-the-art. Saf. Sci. 121, 451\u2013473 (2020)","DOI":"10.1016\/j.ssci.2019.09.018"},{"key":"22_CR16","doi-asserted-by":"crossref","unstructured":"Lindvall, M., Porter, A., Magnusson, G., Schulze, C.: Metamorphic model-based testing of autonomous systems. In: 2017 IEEE\/ACM 2nd International Workshop on Metamorphic Testing (MET), pp. 35\u201341. IEEE (2017)","DOI":"10.1109\/MET.2017.6"},{"key":"22_CR17","doi-asserted-by":"publisher","first-page":"107610","DOI":"10.1016\/j.ress.2021.107610","volume":"215","author":"S Khastgir","year":"2021","unstructured":"Khastgir, S., Brewerton, S., Thomas, J., Jennings, P.: Systems approach to creating test scenarios for automated driving systems. Reliab. Eng. Syst. Saf. 215, 107610 (2021)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"22_CR18","doi-asserted-by":"publisher","first-page":"116969","DOI":"10.1016\/j.oceaneng.2024.116969","volume":"295","author":"J Liu","year":"2024","unstructured":"Liu, J., Yang, F., Li, S., Lv, Y., Hu, X.: Testing and evaluation for intelligent navigation of ships: current status, possible solutions, and challenges. Ocean Eng. 295, 116969 (2024). https:\/\/doi.org\/10.1016\/j.oceaneng.2024.116969","journal-title":"Ocean Eng."},{"key":"22_CR19","doi-asserted-by":"publisher","first-page":"111010","DOI":"10.1016\/j.oceaneng.2022.111010","volume":"251","author":"\u00dc \u00d6zt\u00fcrk","year":"2022","unstructured":"\u00d6zt\u00fcrk, \u00dc., Akdag, M., Ayabakan, T.: A review of path planning algorithms in maritime autonomous surface ships: navigation safety perspective. Ocean Eng. 251, 111010 (2022)","journal-title":"Ocean Eng."},{"key":"22_CR20","doi-asserted-by":"crossref","unstructured":"Mahler, T.: Regulating artificial general intelligence (AGI). In: Custers, B., Fosch-Villaronga, E. (eds.) Law and Artificial Intelligence. Information Technology and Law Series, vol. 35. T.M.C. Asser Press, The Hague (2022)","DOI":"10.1007\/978-94-6265-523-2_26"},{"key":"22_CR21","doi-asserted-by":"publisher","unstructured":"Menges, D., Rasheed, A.: An environmental disturbance observer framework for autonomous ships (2022). https:\/\/doi.org\/10.48550\/arXiv.2211.08360","DOI":"10.48550\/arXiv.2211.08360"},{"key":"22_CR22","unstructured":"Minne, P.K.E.: Automatic testing of maritime collision avoidance algorithms. In: NTNU (2017)"},{"key":"22_CR23","unstructured":"Minsky, M.L.: A framework for representing knowledge. In: Winston, P.H. (ed.). The Psychology of Computer Vision, McGraw-Hill (1977). [aLWB]"},{"key":"22_CR24","unstructured":"Minsky, M.L.: The society of mind. Simon & Schuster (1985)"},{"key":"22_CR25","doi-asserted-by":"crossref","unstructured":"Park, J., Kim, J.: autonomous docking of an unmanned surface vehicle based on reachability analysis. In: 2020 20th International Conference on Control Automation and Systems (ICCAS), pp. 962\u2013966 (2020)","DOI":"10.23919\/ICCAS50221.2020.9268388"},{"key":"22_CR26","doi-asserted-by":"publisher","unstructured":"Navarro, A., Sanchis, J., Mat\u00e9, A., Trujillo, J.: An approach aligned with model driven development to evaluate the quality of explainable artificial intelligence. In: International Conference on Conceptual Modeling, pp. 284\u2013293 (2023). https:\/\/doi.org\/10.1007\/978-3-031-47112-4-27","DOI":"10.1007\/978-3-031-47112-4-27"},{"key":"22_CR27","doi-asserted-by":"publisher","unstructured":"Pedersen, T., Glomsrud, J.A., Haugen, O.I.: Towards simulation-based verification of autonomous navigation systems. In: Proceedings of the International Seminar on Safety and Security of AVs (ISSAV) and European STAMP Workshop and Conference (ESWC) (2019). https:\/\/doi.org\/10.2478\/9788395669606-00","DOI":"10.2478\/9788395669606-00"},{"key":"22_CR28","doi-asserted-by":"publisher","unstructured":"Pedersen, T., Vasanthan, C., Karolius, K., Engelhardtsen, \u00d8., Houweling, K., J\u00f8rgensen, A.: Generating structured set of encounters for verifying automated collision and grounding avoidance systems (2023). https:\/\/doi.org\/10.1088\/1742-6596\/2618\/1\/012013","DOI":"10.1088\/1742-6596\/2618\/1\/012013"},{"key":"22_CR29","doi-asserted-by":"publisher","first-page":"012016","DOI":"10.1088\/1742-6596\/2311\/1\/012016","volume":"2311","author":"T Pedersen","year":"2022","unstructured":"Pedersen, T., et al.: Evolution of safety in marine systems: from system-theoretic process analysis to automated test scenario generation. J. Phys: Conf. Ser. 2311, 012016 (2022). https:\/\/doi.org\/10.1088\/1742-6596\/2311\/1\/012016","journal-title":"J. Phys: Conf. Ser."},{"key":"22_CR30","series-title":"IFIP Advances in Information and Communication Technology","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/978-0-387-35578-8_13","volume-title":"Formal Methods for Protocol Engineering and Distributed Systems","author":"D Peled","year":"1999","unstructured":"Peled, D., Vardi, M.Y., Yannakakis, M.: Black box checking. In: Wu, J., Chanson, S.T., Gao, Q. (eds.) Formal Methods for Protocol Engineering and Distributed Systems. IAICT, vol. 28, pp. 225\u2013240. Springer, Boston, MA (1999). https:\/\/doi.org\/10.1007\/978-0-387-35578-8_13"},{"key":"22_CR31","doi-asserted-by":"publisher","first-page":"102274","DOI":"10.1016\/j.simpat.2021.102274","volume":"109","author":"S Riedmaier","year":"2021","unstructured":"Riedmaier, S., Schneider, J., Danquah, B., Schick, B., Diermeyer, F.: Non-deterministic model validation methodology for simulation-based safety assessment of automated vehicles. Simulat. Model. Pract. Theor. 109, 102274 (2021)","journal-title":"Simulat. Model. Pract. Theor."},{"key":"22_CR32","doi-asserted-by":"crossref","unstructured":"Rokseth, B., Haugen, O.I., Utne, I.B.: Safety verification for autonomous ships. In: MATEC Web of Conferences EDP Sciences (2019)","DOI":"10.1051\/matecconf\/201927302002"},{"key":"22_CR33","doi-asserted-by":"crossref","unstructured":"Rumelhart, D. E., McClelland, J.L.: The PDP Research Group: Parallel distributed processing: Explorations in the microstructure of cognition:, vol. 1. MIT Press, Foundations (1986)","DOI":"10.7551\/mitpress\/5236.001.0001"},{"key":"22_CR34","unstructured":"Russell, S.J.: Artificial Intelligence\u202f: A Modern Approach. Upper Saddle River, N.J., Prentice Hall (2010)"},{"key":"22_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/978-3-030-58768-0_3","volume-title":"Software Engineering and Formal Methods","author":"F Shokri-Manninen","year":"2020","unstructured":"Shokri-Manninen, F., Vain, J., Wald\u00e9n, M.: Formal verification of COLREG-based navigation of maritime autonomous systems. In: de Boer, F., Cerone, A. (eds.) SEFM 2020. LNCS, vol. 12310, pp. 41\u201359. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-58768-0_3"},{"key":"22_CR36","unstructured":"Sormunen, O. V., Goerlandt, F., Kujala, P.: A risk-informed ship collision avoidance system: framework and model development. Risk Anal. 38(5), 1049\u20131067 (2018). Exploration of the Human-Machine Interface in Autonomous Systems"},{"key":"22_CR37","doi-asserted-by":"crossref","unstructured":"Stankiewicz, P.G., Mullins, G.E.: Improving evaluation methodology for autonomous surface vessel COLREGs compliance. In: OCEANS 2019-Marseille, pp. 1-7. IEEE (2019)","DOI":"10.1109\/OCEANSE.2019.8867549"},{"key":"22_CR38","doi-asserted-by":"publisher","unstructured":"Torben, T.R., Glomsrud, J.A., Pedersen, T.A., Utne, I.B., S\u00f8rensen A.J.: Automatic simulation-based testing of autonomous ships using Gaussian processes and temporal logic. In: Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, vol. 237, p. 1748006X2110692 (2022). https:\/\/doi.org\/10.1177\/1748006X211069277","DOI":"10.1177\/1748006X211069277"},{"issue":"4","key":"22_CR39","doi-asserted-by":"publisher","first-page":"1307","DOI":"10.1007\/s00773-020-00790-x","volume":"26","author":"A Vagale","year":"2021","unstructured":"Vagale, A., Bye, R.T., Oucheikh, R., Osen, O.L., Fossen, T.I.: Path planning and collision avoidance for autonomous surface vehicles II: a comparative study of algorithms. J. Mar. Sci. Technol. 26(4), 1307\u20131323 (2021)","journal-title":"J. Mar. Sci. Technol."},{"key":"22_CR40","doi-asserted-by":"publisher","DOI":"10.21236\/ADA609415","volume-title":"COLREGS-compliant Autonomous Collision Avoidance Using Multi-Objective Optimization with Interval Programming","author":"KL Woerner","year":"2014","unstructured":"Woerner, K.L.: COLREGS-compliant Autonomous Collision Avoidance Using Multi-Objective Optimization with Interval Programming. MIT, Cambridge (2014)"},{"key":"22_CR41","doi-asserted-by":"crossref","unstructured":"Woerner, K.L., Benjamin, M.R., Novitzky, M., Leonard, J.J.: Collision avoidance road test for COLREG-constrained autonomous vehicles. In: OCEANS, vol. 2016 MTS\/IEEE Monterey, pp. 1\u20136 (2016). [148]","DOI":"10.1109\/OCEANS.2016.7761413"},{"key":"22_CR42","unstructured":"Wooldridge, M.: An Introduction to MultiAgent Systems. 2nd Edition. Wiley, Hoboken (2009)"}],"container-title":["Lecture Notes in Computer Science","Advances in Conceptual Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-75599-6_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,25]],"date-time":"2024-10-25T20:19:09Z","timestamp":1729887549000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-75599-6_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,26]]},"ISBN":["9783031755989","9783031755996"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-75599-6_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024,10,26]]},"assertion":[{"value":"26 October 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The authors declared no potential conflicts of interest with respect to the research, authorship, and\/or publication of this article.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Disclosure of Interests"}},{"value":"ER","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Conceptual Modeling","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Pittsburg, PA","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":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 October 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 November 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"43","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"er2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/resources.sei.cmu.edu\/news-events\/events\/er2024\/cfp.cfm","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}