Physically-Feasible Repair of Reactive, Linear Temporal Logic-based, High-Level Tasks

Adam Pacheck, Hadas Kress-Gazit

A typical approach to creating complex robot behaviors is to compose atomic controllers, or skills, such that the resulting behavior satisfies a high-level task; however, when a ta…