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

Published in: IEEE Access (2023)

Keyphrases

path planning
temporal logic
model checking
mobile robot
obstacle avoidance
modal logic
transition systems
reinforcement learning
motion planning
formal specification
path planning algorithm
robot path planning
dynamic environments
domain independent
degrees of freedom
verification method