Bridging Rigorous Methods with Machine Learning in Robotics

This Stanford seminar explores a novel framework for integrating formal synthesis with machine learning to ensure robust safety and stability in learned robotic control policies.