Constraint Programming-Based Verification of COLREG SafetyVain, Jüri; Tsiopoulos, Leonidas; Walden, Marina; Benterki, Aboubaker SeddiqIEEE journal of oceanic engineering2025 / p. 2797-2821 https://doi.org/10.1109/JOE.2025.3592285