LuckcuckM. Using formal methods for autonomous systems: five recipes for formal verification. Proc Inst Mech Eng Part O J Risk Reliab2021; 1748006X2110349.
3.
TorbenTRGlomsrudJAPedersenTA, et al. Automatic simulation-based testing of autonomous ships using Gaussian processes and temporal logic. Proc Inst Mech Eng Part O J Risk Reliab2022; 1748006X2110692.
4.
WróbelKGilMKrataP, et al. On the use of leading safety indicators in maritime and their feasibility for maritime autonomous surface ships. Proc Inst Mech Eng Part O J Risk Reliab2021; 1748006X2110276.
5.
ThiemeCARoksethBUtneIB. Risk-informed control systems for improved operational performance and decision-making. Proc Inst Mech Eng Part O J Risk Reliab2021; 1748006X2110436. DOI: 10.1177/1748006x211043657.
6.
LiTHanXMaJ, et al. Operational safety of automated and human driving in mixed traffic environments: a perspective of car-following behavior. Proc Inst Mech Eng Part O J Risk Reliab2021; 1748006X2110506.
7.
ThomasSGrothKM. Toward a hybrid causal framework for autonomous vehicle safety analysis. Proc Inst Mech Eng Part O J Risk Reliab2021; 1748006X2110433.
8.
WangFAraújoDFLiY-F. Reliability assessment of autonomous vehicles based on the safety control structure.Proc Inst Mech Eng Part O: J Risk Reliab2022. DOI: 10.1177/1748006X211069705.
9.
VentikosNPLouzisK. Developing next generation marine risk analysis for ships: bio-inspiration for building immunity. Proc Inst Mech Eng Part O J Risk Reliab2022; 1748006X2210875. DOI: 10.1177/1748006x221087501.
10.
GuoCHaugenSUtneIB. Risk assessment of collisions of an autonomous passenger ferry. Proc Inst Mech Eng Part O J Risk Reliab2021; 1748006X2110507. DOI: 10.1177/1748006x211050714.
11.
BolbotVTheotokatosGAndreas WennersbergL, et al. A novel risk assessment process: Application to an autonomous inland waterways ship. Proc Inst Mech Eng Part O J Risk Reliab2021; 1748006X2110518. DOI: 10.1177/1748006x211051829.
12.
AmroAGkioulosVKatsikasS. Communication architecture for autonomous passenger ship. Proc Inst Mech Eng Part O J Risk Reliab2021; 1748006X2110025.
13.
RamosMASankaranKGuarroS, et al. The need for and conceptual design of an AI model-based Integrated Flight Advisory System. Proc Inst Mech Eng Part O J Risk Reliab2022; 1748006X2210833. DOI: 10.1177/1748006x221083379.
14.
BrandsæterAOsenOL. Assessing autonomous ship navigation using bridge simulators enhanced by cycle-consistent adversarial networks. Proc Inst Mech Eng Part O J Risk Reliab2021; 1748006X2110210.