Mixed-Integer Programming for Signal Temporal Logic with Fewer Binary Variables

13 April 2022

Papers citing "Mixed-Integer Programming for Signal Temporal Logic with Fewer Binary Variables"

8 / 8 papers shown

Title
Optimization-based Task and Motion Planning under Signal Temporal Logic Specifications using Logic Network Flow Xuan Lin Jiming Ren Samuel Coogan Ye Zhao 64 1 0 27 Sep 2024
Multi-agent Motion Planning from Signal Temporal Logic Specifications Dawei Sun Jingkai Chen Sayan Mitra Chuchu Fan 66 83 0 13 Jan 2022
Trajectory Optimization for High-Dimensional Nonlinear Systems under STL Specifications Vince Kurtz Hai Lin 34 10 0 13 Nov 2020
Recurrent Neural Network Controllers for Signal Temporal Logic Specifications Subject to Safety Constraints Wenliang Liu N. Mehdipour C. Belta 46 47 0 24 Sep 2020
Backpropagation through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods Karen Leung Nikos Arechiga Marco Pavone 47 93 0 31 Jul 2020
A Smooth Robustness Measure of Signal Temporal Logic for Symbolic Control Yann Gilpin Vince Kurtz Hai Lin 53 90 0 09 Jun 2020
Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications N. Mehdipour C. Vasile C. Belta 39 92 0 12 Mar 2019
Admissible Abstractions for Near-optimal Task and Motion Planning William Vega-Brown Nicholas Roy 50 25 0 03 Jun 2018