fuzzy relational product for collision avoidance of autonomous ships ...