Automated Generation of Functionally Complete Assurance Suites for COLREGS-Compliance of Autonomous Surface Vehicles (opens in a new tab)
This paper presents a model-based method to automatically generate assurance scenarios for verifying COLREGS compliance in autonomous surface vehicles (ASVs). It derives functional equivalence classes for multi-vessel encounters, maps them to logical scenarios with geometric constraints, and produces initial scenes using search-based and rejection sampling algorithms. The approach ensures full coverage of COLREGS-relevant encounters and scales to scenarios involving up to six vessels. Evaluation confirms its effectiveness for ASV assurance in open-sea conditions.