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