1 paper · 1 filter
Junyang Cai, Weimin Huang, Brendan Long +4
Motion-planning problems with temporal-logic or chance constraints are often encoded as mixed-integer linear programs (MILPs). Although these encodings provide rigorous specificati…