Task-Based Design of Ad-hoc Modular Manipulators. - Thais Campos; Jeevana Priya Inala; Armando Solar-Lezama; Hadas Kress-Gazit (ICRA, 2019)

SMT-Based Control and Feedback for Social Navigation. - Thais Campos; Adam Pacheck; Guy Hoffman; Hadas Kress-Gazit (ICRA, 2019)

Automated Synthesis of Modular Manipulators' Structure and Control for Continuous Tasks around Obstacles. - Thais Campos de Almeida; Samhita Marri; Hadas Kress-Gazit (Robotics: Science and Systems, 2020)

Synthesizing Modular Manipulators For Tasks With Time, Obstacle, And Torque Constraints. - Thais Campos; Hadas Kress-Gazit (CoRR, 2021)