52 citations · 72 across the 8 of their papers we have counts for
6 papers
Synthesizing Modular Manipulators For Tasks With Time, Obstacle, And Torque Constraints
Thais Campos, Hadas Kress-Gazit
Modular robots can be tailored to achieve specific tasks and rearranged to achieve previously infeasible ones. The challenge is choosing an appropriate design from a large search s…
Counterexample-Guided Repair for Symbolic-Geometric Action Abstractions
Wil Thomason, Hadas Kress-Gazit
Integrated Task and Motion Planning (TMP) provides a promising class of approaches for solving robot planning problems with intricate symbolic and geometric constraints. However, t…
Learning and Planning for Temporally Extended Tasks in Unknown Environments
Christopher Bradley, Adam Pacheck, Gregory J. Stein +3
We propose a novel planning technique for satisfying tasks specified in temporal logic in partially revealed environments. We define high-level actions derived from the environment…
Event-Based Signal Temporal Logic Synthesis for Single and Multi-Robot Tasks
David Gundana, Hadas Kress-Gazit
We propose a new specification language and control synthesis technique for single and multi-robot high-level tasks; these tasks include timing constraints and reaction to environm…
The Challenges in Specifying and Explaining Synthesized Implementations of Reactive Systems
Hadas Kress-Gazit, Hazem Torfah
In formal synthesis of reactive systems an implementation of a system is automatically constructed from its formal specification. The great advantage of synthesis is that the resul…
Robot-Initiated Specification Repair through Grounded Language Interaction
Adrian Boteanu, Jacob Arkin, Siddharth Patki +2
Robots are required to execute increasingly complex instructions in dynamic environments, which can lead to a disconnect between the user's intent and the robot's representation of…