News

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

Video 

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).

The paper "Needed-based Coordination for Decentralized High-level Robot Control" by Kai Weng Wong and Hadas Kress-Gazit was accepted to IEEE International Conference on Intelligent Robots and Systems (IROS 2016).

Pages

Subscribe to News