Automated Scene Generation for Testing COLREGS-Compliance of Autonomous Surface Vehicles - Frey, Dominik; Kargén, Ulf; Varro, Daniel (Center for Model-Based Cyber-Physical Product Development, 2025)