机译:Development and testing of a risk-based control system for autonomous ships
Norwegian Univ Sci & Technol NTNU||Norwegian Univ Sci & Technol NTNU;
Autonomous systems; Risk modeling; Ship control systems; Systems theoretic process analysis (STPA); Bayesian belief networks; Verification;