Hadas Kress-Gazit

Geoffrey S.M. Hedrick Senior Endowed Professor

1standalone talk·1total lecture·1hrecorded

Cornell University Engineering, Control & Robotics Computer Systems & Software

Standalone talks by Hadas Kress-Gazit

Self-contained public lectures, keynote addresses, and research seminars.

Formal Methods for Robotics in the Age of Big Data

1:04:55

Engineering·Research Seminar

Formal Methods for Robotics in the Age of Big Data

Hadas Kress-Gazit·

Cornell University

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.

Speakers

Faculty & Researcher Profile