Signal Temporal Logic Meets Convex-Concave Programming: A Structure-Exploiting SQP Algorithm for STL Specifications

4 April 2023

Papers citing "Signal Temporal Logic Meets Convex-Concave Programming: A Structure-Exploiting SQP Algorithm for STL Specifications"

1 / 1 papers shown

Title
Continuous-time control synthesis under nested signal temporal logic specifications Pian Yu Xiao Tan Dimos V. Dimarogonas 21 9 0 17 Sep 2023