A Dynamic Programming Approach to Collision Avoidance of Autonomous Ships | Synapse