Verifiable Robotics Research Group | Verifiable Robotics Research Group

Cornell Research profile, 2015
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.
We were part of the DARPA Robotics Challenge's Team ViGIR
High-level Verifiable robotics - talk at CMU, Feb 2014
Making Robots Correct - Video profile of Professor Hadas Kress-Gazit

Research Interests

How can we interact with physical systems, in particular robots, at a high level? How can we formalize high level goals in a user friendly way? How can we automatically create controllers for such systems and how can we guarantee these systems will behave correctly?

Recent News

Science robotics paper published!

Four new projects awarded

Two papers to appear at ICRA 2018

Paper Accepted to AAMAS 2018

Review article on synthesis for robotics

Research Interests

Recent News

Search form