Finding Missing Skills for High-Level Behaviors
Adam Pacheck,Salar Moarref,Hadas Kress-Gazit,Adam Pacheck,Salar Moarref,Hadas Kress-Gazit
Recently, Linear Temporal Logic (LTL) has been used as a formalism for defining high-level robot tasks, and LTL synthesis has been used to automatically create correct-by-construction robot control. The underlying premise of this approach is that the robot has a set of actions, or skills, that can be composed to achieve the high- level task. In this paper we consider LTL specifications that cannot...
