Name
Abstract | ||
|---|---|---|
We present a controller for human-robot handovers that is automatically synthesized from high-level specifications in Signal Temporal Logic (STL). In contrast to existing controllers, this approach can provide formal guarantees on the timing of each of the handover phases. Using synthesis also allows end-users to specify and dynamically change the robot's behaviors using high-level requirements of goals and constraints rather than by tuning low-level controller parameters. We illustrate the proposed approach by replicating the behavior of existing handover strategies from the literature. We also identify specification parameters that are likely to lead to successful handovers using a public database of human-human handovers. |
Year | DOI | Venue |
|---|---|---|
2019 | 10.1109/IROS40897.2019.8967709 | 2019 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS) |
Keywords | Field | DocType |
Human-Robot Handovers, Formal Methods, Signal Temporal Logic, Human-Robot Interaction | Control theory,Signal temporal logic,Computer science,Control engineering,Formal methods,Robot,Human–robot interaction,Handover | Conference |
ISSN | Citations | PageRank |
2153-0858 | 1 | 0.35 |
References | Authors | |
0 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Alap Kshirsagar | 1 | 1 | 1.36 |
| Hadas Kress-Gazit | 2 | 727 | 58.58 |
| Guy Hoffman | 3 | 706 | 62.08 |