"Optimal Path Planning under Temporal Logic Contstraints" . "Optimal Path Planning under Temporal Logic Contstraints"@en . "T\u016Fmov\u00E1, Jana" . "RIV/00216224:14330/10:00045255" . . "Smith, Stephen L." . "6"^^ . . "277219" . "Belta, Calin" . "4"^^ . . "Taipei, Taiwan" . "Neuveden" . "1"^^ . . "[C4B2661A8C6B]" . "RIV/00216224:14330/10:00045255!RIV11-GA0-14330___" . "2153-0866" . "Optimal Path Planning under Temporal Logic Contstraints"@en . . . . . "2010-01-01+01:00"^^ . . "Optimal Path Planning under Temporal Logic Contstraints" . . "We present a method for automatically generating optimal robot trajectories 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 a linear temporal logic formula. In addition, we require that an optimizing proposition must be repeatedly satisfied. The cost function that we seek to minimize is the maximum time between satisfying instances of the optimizing proposition. For every environment model, and for every formula, our method computes a robot trajectory which minimizes the cost function. The problem is motivated by robotic monitoring and data gathering. In this setting, the optimizing proposition is satisfied at locations where data can be uploaded, and the formula specifies a an infinite horizon data collection mission."@en . "Rus, Daniela" . "P(GA201/09/1389), S" . . . . "Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2010)" . . "We present a method for automatically generating optimal robot trajectories 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 a linear temporal logic formula. In addition, we require that an optimizing proposition must be repeatedly satisfied. The cost function that we seek to minimize is the maximum time between satisfying instances of the optimizing proposition. For every environment model, and for every formula, our method computes a robot trajectory which minimizes the cost function. The problem is motivated by robotic monitoring and data gathering. In this setting, the optimizing proposition is satisfied at locations where data can be uploaded, and the formula specifies a an infinite horizon data collection mission." . "Motion Control; Navigation"@en . . . "14330" . "978-1-4244-6675-7" . "IEEE" .