Formal Methods for Robotics in the Age of Big Data

Name: Formal Methods for Robotics in the Age of Big Data
Uploaded: 2026-03-25T13:34:02.000Z
Duration: 1 h 4 min 55 s
Channel: Hadas Kress-Gazit
Description: Cornell's Hadas Kress-Gazit discusses the evolving role of formal methods in robotics, particularly in synthesizing control and verifying behavior amidst data-driven models.

Hadas Kress-Gazit

lectern.tv

Formal Methods for Robotics in the Age of Big Data

Hadas Kress-Gazit

Cornell University

1:04:55·2026·graduate level·Research Seminar

Cornell's Hadas Kress-Gazit discusses the evolving role of formal methods in robotics, particularly in synthesizing control and verifying behavior amidst data-driven models.

Geoffrey S.M. Hedrick Senior Endowed Professor Sibley School of Mechanical and Aerospace Engineering, Cornell University

Engineering Systems & CS Signal Processing & Robotics Distributed Systems Robot Dynamics & Aerospace Control MapReduce & Dataflow Feedback Control, LQR & Kalman Filtering Formal Methods