Constraint Programming-Based Verification of COLREG Safety | IEEE Journals & Magazine | IEEE Xplore