Constraint Programming-Based Verification of COLREG Safety
Vain, Jüri
;
Tsiopoulos, Leonidas
;
Walden, Marina
;
Benterki, Aboubaker Seddiq
IEEE journal of oceanic engineering
2025
/
p. 2797-2821
https://doi.org/10.1109/JOE.2025.3592285