Verification methodologies for autonomous agents to enable safe marine autonomous surface ships (MASS)

The application of autonomy is driven by a desire to safeguard lives by removing crew from dangerous environments and reducing the likelihood or impact of accidents arising from human error. State of the art Marine Autonomous Surface Ships (MASS) deployed for extended periods in complex in-land, coastal, and off-shore applications, must be able to address changes in their state, environment, and mission by adapting their mission plan.