Temporal Logic Motion Planning with Convex Optimization via Graphs of Convex Sets.
Vince KurtzHai LinPublished in: CoRR (2023)
Keyphrases
- convex optimization
- convex sets
- temporal logic
- motion planning
- mazurkiewicz traces
- degrees of freedom
- model checking
- path planning
- mobile robot
- humanoid robot
- interior point methods
- primal dual
- multi robot
- semidefinite
- total variation
- convex relaxation
- belief revision
- machine learning
- generative model
- image processing
- reinforcement learning
- image compression
- pose estimation