Skip to main content
Verifiable Robotics Research Group
Prof. Kress-Gazit promoted to Associate Professor with tenure
Prof. Kress-Gazit has been promoted to Associate Professor with Tenure, effective July 1, 2015.
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