Ebrahim Moradi Shahrivar

Safe Linear Temporal Logic Motion Planning in Dynamic Environments

This paper proposes an online control framework for mobile robots to satisfy a complex mission given in the form of linear temporal logic (LTL) without colliding with moving obstacles in the environment. The proposed framework consists of three modules named the static planner, the local collision a…