Buscar
Mostrando ítems 1-1 de 1
Linear Temporal Logic-based Mission Planning
(International Journal of Interactive Multimedia and Artificial Intelligence (IJIMAI), 2016)
In this paper, we describe the Linear Temporal
Logic-based reactive motion planning. We address the problem of
motion planning for mobile robots, wherein the goal specification
of planning is given in complex environments. ...