Revising Temporal Logic Specifications for Motion Planning

摘要：

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.

作者: Georgios E. Fainekos

作者单位: School of Computing,Informatics and Decision Systems Engineering,Arizona State University,Tempe,AZ 85281,USA

会议类型: 国际会议

会议名称: 2011 IEEE International Conference on Robotics and Automation(2011年IEEE世界机器人与自动化大会 ICRA 2011)

会议地点: 上海

会议语种:英文

页码: 40-45

在线出版日期: 2011-05-09（万方平台首次上网日期，不代表论文的发表时间）