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

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 task cannot be accomplished with a given set of skills, it is difficult to know how to modify the skills to make the task...

Celý popis