Mobile Intelligent Autonomous Systems

13	Temporal Logic Motion Planning in Robotics Motlatsi Seotsanyana

CONTENTS

13.1    Introduction

13.2    The Importance of Autonomy

13.3    General Problem Definition

13.4    An Overview of Temporal Logics

13.4.1    Linear Temporal Logic

13.4.1.1    LTL Syntax

13.4.1.2    LTL Semantics

13.4.2    Computation Tree Logic

13.4.2.1    CTL Syntax

13.4.2.2    CTL Semantics

13.4.3    Timed Computation Tree Logic

13.4.3.1    Timed Automata Syntax

13.4.3.2    Timed Automaton Semantics

13.4.3.3    TCTL Syntax

13.4.3.4    TCTL Semantics

13.4.4    Probabilistic Temporal Logics

13.4.4.1    CSL Syntax

13.4.4.2    CSL Semantics

13.5    An Overview of Robotic Verification

13.5.1    Programme Synthesis in Motion Planning

13.5.1.1    The Discrete Event Models ...