Autonomous Vessels Collision Verification: Geometric Optimization. - Hiba Ben Lahbib; M. Taha Bennani; Jüri Vain (AIAI (1), 2025)