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).
Our collaborative paper "An integrated system for perception-driven autonomy with modular robots" was published in Science Robotics and recieved quite a lot of media attention. A few examples:
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
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).
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).