Robotics | Formal Methods | AI
by Patrick MusauDecember 3, 2021 ~1 min read
Towards Assured Autonomy with ROS from Open Robotics on Vimeo.