Time-Robust Path Planning with Piece-Wise Linear Trajectory for Signal Temporal Logic Specifications.
Nhan-Khanh LeErfaun NooraniSandra HircheJohn S. BarasPublished 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