Skip to main content
Verifiable Robotics Research Group
Main menu
Home
Research
Publications
People
News
Prof. Kress-Gazit promoted to Associate Professor with tenure
Prof. Kress-Gazit has been promoted to Associate Professor with Tenure, effective July 1, 2015.
News
Two papers to appear at ICRA 2018
Paper Accepted to AAMAS 2018
Review article on synthesis for robotics
Three new project started in 2017
Paper wins IJCAI 2017 Best Robotic Video Award