-
-
Synthesis for Robots - Talk at MIT, October 2017
-
Cornell robotics panel as part of Cornell's sesquicentennial celebration, April 2015. Prof. Kress-Gazit's presentation starts at 38:40
-
Professor Hadas Kress-Gazit co-directs, together with Professor Mark Campbell, the Autonomous Systems Lab at Cornell. Information about undergraduate and M.Eng projects can be found there.
-
-
High-level Verifiable robotics - talk at CMU, Feb 2014
-
Making Robots Correct - Video profile of Professor Hadas Kress-Gazit