Login / Signup
Time-Robust Path Planning with Piece-Wise Linear Trajectory for Signal Temporal Logic Specifications.
Nhan-Khanh Le
Erfaun Noorani
Sandra Hirche
John S. Baras
Published in:
CoRR (2024)
Keyphrases
</>
path planning
temporal logic
concurrent systems
model checking
trajectory planning
transition systems
reactive systems
mobile robot
model checker
collision free
piece wise linear
path planning algorithm
modal logic
collision avoidance
obstacle avoidance
configuration space
dynamic environments
bounded model checking
motion planning
indoor environments
formal specification language
formal specification
multi robot
verification method
robot path planning
autonomous vehicles
degrees of freedom
potential field
linear temporal logic
mazurkiewicz traces
navigation tasks
path finding
search and rescue
computation tree logic
temporal knowledge
multiple robots
path planner
formal verification
optimal path
finite state
epistemic logic
aerial vehicles
robotic systems
belief revision
state space