The paper "automatic Encoding and Repair of Reactive High-Level Tasks with Learned Abstract Rebresentations" by Adam Pacheck, George Konidaris, and Hadas Kress-Gazit was accepted to The International Symposium on Robotics Research (ISRR 2019).

We have had 4 new projects awarded

  • NRI: Ad-Hoc Collaborative Human-Robot Swarms (NSF, 2018-2022)
  • EFRI C3 SoRo: An End-To-End Framework For Soft Robot Design And Control Based On High-Performance Electrohydraulic Transducers (NSF, 2018-2022)
  • CPS: Syntax-Guided Synthesis for Cyber-Physical Systems (NSF, 2018-2021)
  • DARPA OFFSET - Sprint 2 (DARPA TTO, 2018-2019)

Two papers will appear in ICRA 2018:

As part of the ICRA proceedings: 

T. Tosun, J. Daudelin, G. Jing, H. Kress-Gazit, M. Campbell and M. Yim, Perception-Informed Autonomous Environment Augmentation With Modular Robots


RA-L paper:

M. Lahijanian, M. Svorenova, A. Morye, B. Yeomans, D. Rao, I. Posner, P. Newman, H. Kress-Gazit and M. Kwiatkowska, Resource-Performance Trade-off Analysis for Mobile Robots

The paper "Verifiable Control of Robotic Swarm from High-level Specifications" by Ji Chen, Salar Moarref and Hadas Kress-Gazit was accepted to International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018).

A preview of the review article "Synthesis for Robots: Guarantees and Feedback for Robot Behavior" by Kress-Gazit, Lahijanian and Raman is available here.

Three new projects started in 2017 - swarms, soft robots and an exciting collaboration with Brown University and MIT!

The paper "An End-to-End System for Accomplishing Tasks with Modular Robots: Perspectives for the AI Community" by Gangyuan (Jim) Jing, Tarik Tosun, Mark Yim, and Hadas Kress-Gazit wins the IJCAI 2017 Best Robotic Video Award! Check out the video here.

Kress-Gazit is co-organizing two workshops as part of Robotics:Science and Systems 2017: Women in Robotics workshop on Saturday, July 15, and Minimality and Trade-offs in Automated Robot Design on Sunday, July 16. On Sunday, we will be playing the robot design game!




The paper "A Model for Verifiable Grounding and Execution of Complex Natural Language Instructions" by Adrian Boteanu, Thomas Howard, Jacob Arkin and Hadas Kress-Gazit was accepted to IEEE International Conference on Intelligent Robots and Systems (IROS 2016).


Subscribe to News