Learning-Based Path Planning Under Co-Safe Temporal Logic Specifications

This paper presents a path planning algorithm for efficiently generating low-cost trajectories that meet mission requirements specified in Linear Time Logic (LTL), where cost functions are defined throughout the configuration space. The main idea of the paper is to increase efficiency by adding lear...

Full description

Bibliographic Details
Main Author: Kyunghoon Cho
Format: Article
Language:English
Published: IEEE 2023-01-01
Series:IEEE Access
Subjects:
Online Access:https://ieeexplore.ieee.org/document/10068514/