The paper "An End-To-End System for Accomplishing Tasks with Modular Robots" by Gangyuan Jing, Tarik Tosun, Mark Yim, and Hadas Kress-Gazit was accepted to the 2016 Robotics: Science and Systems Conference. (RSS 2016)
The paper “Reactive High-level Behavior Synthesis for an Atlas Humanoid Robot” by Spyros Maniatopoulos, Philipp Schillinger, Vitchyr H. Pong, David C. Conner, and Hadas Kress-Gazit was accepted to the 2016 IEEE International Conference on Robotics and Automation (ICRA 2016).
The paper “Nonlinear Controller Synthesis and Automatic Workspace Partitioning for Reactive High-Level Behaviors” by Jonathan DeCastro and Hadas Kress-Gazit was accepted to Hybrid Systems: Computation and Control (HSCC) 2016.
We have 3 papers accepted to the International Symposium of Robotics Research (ISRR 2015):
Tarik Tosun, Gangyuan Jing, Hadas Kress-Gazit, Mark Yim, Computer-Aided Compositional Design and Verification for Modular Robots
Ankur Mehta, Joseph DelPreto, Kai Weng Wong, Scott Hamill, Hadas Kress-Gazit, Daniela Rus, Robot Creation from Functional Specifications
Jonathan DeCastro, Javier Alonso-Mora, Vasumathi Raman, Daniela Rus, Hadas Kress-Gazit, Collision-Free Reactive Mission and Motion Planning for Multi-Robot Systems
Prof. Kress-Gazit has been promoted to Associate Professor with Tenure, effective July 1, 2015.
Group website (finally) updated