Temporal Logic Motion Planning With Convex Optimization via Graphs of Convex Sets.
Vince KurtzHai LinPublished in: IEEE Trans. Robotics (2023)
Keyphrases
- convex sets
- convex optimization
- temporal logic
- motion planning
- mazurkiewicz traces
- degrees of freedom
- model checking
- path planning
- mobile robot
- humanoid robot
- interior point methods
- multi robot
- primal dual
- convex functions
- total variation
- convex relaxation
- semidefinite
- machine learning
- linear program
- dynamic environments
- higher order
- image sequences
- feature selection
- computer vision