Trajectory Optimization for High-Dimensional Nonlinear Systems under STL Specifications

13 November 2020

Papers citing "Trajectory Optimization for High-Dimensional Nonlinear Systems under STL Specifications"

3 / 3 papers shown

Title
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 41 92 0 12 Mar 2019