waypoint-generation
Maritime collision-avoidance hybrid automaton built on hybrid-automaton, using risk envelopes for waypoint generation.