Sampling-Based Temporal Logic Path Planning.

Cristian Ioan Vasile Calin Belta

Published in: CoRR (2013)

Keyphrases

temporal logic
path planning
motion planning
model checking
mobile robot
path planning algorithm
dynamic environments
collision avoidance
modal logic

concurrent systems
obstacle avoidance
multi robot
degrees of freedom
optimal path
path finding
potential field
autonomous vehicles

belief revision
path planner
bounded model checking
linear temporal logic
dynamic and uncertain environments
belief space
collision free
navigation tasks

verification method
temporal knowledge
transition systems
robot path planning
formal specification language
multiple robots
formal specification
computation tree logic