hybrid-automaton
Maritime collision-avoidance hybrid automaton built on hybrid-automaton, using risk envelopes for waypoint generation.
Python framework for real-time and simulation hybrid automata, easily integrable with ROS2 and other environments.
