Seotsanyana, M2010-09-302010-09-302010-01Seotsanyana, M. 2010. Temporal logic motion planning. Defence Science Journal, Vol. 60(1), pp 23-380011748Xhttp://publications.drdo.gov.in/ojs/index.php/dsj/article/view/99/7http://hdl.handle.net/10204/4425Copyright: 2010 Defence Scientific Information & Documentation Centre (DESIDOC)In this paper, a critical review on temporal logic motion planning is presented. The review paper aims to address the following problems: (a) In a realistic situation, the motion planning problem is carried out in real-time, in a dynamic, uncertain and ever-changing environment, and (b) The accomplishment of high-level specification tasks which are more than just the traditional planning problem (i.e., start at initial state A and go to the goal state B) are considered. The use of theory of computation and formal methods, tools and techniques present a promising direction of research in solving motion planning problems that are influenced by high-level specification of complex tasks. The review, therefore, focuses only on those papers that use the aforementioned tools and techniques to solve a motion planning problem. A proposed robust platform that deals with the complexity of more expressive temporal logics is also presented.enMotion planningTemporal logicReal-timeFormal languagesAutomataMobile agentsTemporal logic motion planningArticleSeotsanyana, M. (2010). Temporal logic motion planning. http://hdl.handle.net/10204/4425Seotsanyana, M "Temporal logic motion planning." (2010) http://hdl.handle.net/10204/4425Seotsanyana M. Temporal logic motion planning. 2010; http://hdl.handle.net/10204/4425.TY - Article AU - Seotsanyana, M AB - In this paper, a critical review on temporal logic motion planning is presented. The review paper aims to address the following problems: (a) In a realistic situation, the motion planning problem is carried out in real-time, in a dynamic, uncertain and ever-changing environment, and (b) The accomplishment of high-level specification tasks which are more than just the traditional planning problem (i.e., start at initial state A and go to the goal state B) are considered. The use of theory of computation and formal methods, tools and techniques present a promising direction of research in solving motion planning problems that are influenced by high-level specification of complex tasks. The review, therefore, focuses only on those papers that use the aforementioned tools and techniques to solve a motion planning problem. A proposed robust platform that deals with the complexity of more expressive temporal logics is also presented. DA - 2010-01 DB - ResearchSpace DP - CSIR KW - Motion planning KW - Temporal logic KW - Real-time KW - Formal languages KW - Automata KW - Mobile agents LK - https://researchspace.csir.co.za PY - 2010 SM - 0011748X T1 - Temporal logic motion planning TI - Temporal logic motion planning UR - http://hdl.handle.net/10204/4425 ER -