COLREG-Compliant Simulation Environment for Verifying USV Motion Planning Algorithms | IEEE Conference Publication | IEEE Xplore