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.
Faculty & Visiting Speaker, Stanford University
Self-contained public lectures, keynote addresses, and research seminars.
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.