Optimal path planning for surveillance with temporal-logic constraints

Optimal path planning for surveillance with temporal-logic constraints

Show other versions (1)

In this paper we present a method for automatically generating optimal robot paths satisfying high-level mission specifications. The motion of the robot in the environment is modeled as a weighted transition system. The mission is specified by an arbitrary linear temporal-logic (LTL) formula over pr...

Full description

Bibliographic Details
Main Authors: Smith, Stephen L (Author), Tůmová, Jana (Author), Belta, Calin (Author), Rus, Daniela L (Author)
Other Authors: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory (Contributor)
Format: Article
Language:English
Published: SAGE Publications, 2022-07-15T13:38:19Z.
Subjects:
Article
Online Access:Get fulltext

Similar Items

Similar Items