Lexicographic Mixed-Integer Motion Planning with STL Constraints.
Patrick HalderFabian ChristMatthias AlthoffPublished in: ITSC (2023)
Keyphrases
- mixed integer
- motion planning
- degrees of freedom
- lot sizing
- mobile robot
- mixed integer program
- trajectory planning
- path planning
- linear program
- feasible solution
- benders decomposition
- linear programming problems
- continuous variables
- convex hull
- optimal solution
- network design problem
- multi robot
- humanoid robot
- collision free
- tabu search
- quadratic program
- configuration space
- climbing robot
- dynamic systems
- multi modal
- maximum likelihood
- probabilistic model
- dynamic programming
- lower bound