A More Scalable Mixed-Integer Encoding for Metric Temporal Logic.
Vince KurtzHai LinPublished in: IEEE Control. Syst. Lett. (2022)
Keyphrases
- mixed integer
- metric temporal logic
- linear program
- feasible solution
- lot sizing
- mixed integer programming
- benders decomposition
- continuous relaxation
- cutting plane
- convex hull
- facility location
- optimal solution
- network design problem
- continuous variables
- mixed integer program
- lower bound
- totally unimodular
- linear programming
- quadratic program
- maximum entropy
- search algorithm
- lagrangian heuristic
- decision making