Formal Synthesis for Robots - Leveraging Formal Methods in Robotic Design

Explore the application of formal methods in robotics design and behavior in this one-hour lecture from the Spring 2021 Robotics Colloquium. Discover how synthesis techniques can automatically create robotic systems from formal specifications, providing guarantees and explanations for their behavior. Learn about the benefits and challenges of these methods through examples of various robotic systems, including modular robots, swarms, and human-robot interactions. Gain insights from Professor Hadas Kress-Gazit of Cornell University, an IEEE fellow renowned for her research in formal methods for robotics and automation. Recorded on May 7, 2021, this closed-captioned lecture offers valuable knowledge for those interested in advanced robotics and formal methods in engineering.