ICRA 2011 Paper Abstract


Paper TuA102.2

Fainekos, Georgios (Arizona State University)

Revising Temporal Logic Specifications for Motion Planning

Scheduled for presentation during the Regular Sessions "Agent-Based Systems I" (TuA102), Tuesday, May 10, 2011, 08:35−08:50, Room 3C

2011 IEEE International Conference on Robotics and Automation, May 9-13, 2011, Shanghai International Conference Center, Shanghai, China

This information is tentative and subject to change. Compiled on April 2, 2020

Keywords AI Reasoning Methods, Motion and Path Planning, Cognitive Human-Robot Interaction


In this paper, we introduce the problem of automatic formula revision for Linear Temporal Logic (LTL) motion planning specifications. Namely, if a specification cannot be satisfied on a particular environment, our framework returns information to the user regarding (i) why the specification cannot be satisfied and (ii) how the specification can be modified so it can become satisfiable. This work contributes towards rendering temporal logic motion planning frameworks more user friendly by providing feedback to the user when the LTL planning phase fails.



Technical Content © IEEE Robotics & Automation Society

This site is protected by copyright and trademark laws under US and International law.
All rights reserved. © 2002-2020 PaperCept, Inc.
Page generated 2020-04-02  13:00:36 PST  Terms of use