Login / Signup

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

Yoshinari TakayamaKazumune HashimotoToshiyuki Ohtsuka
Published in: CDC (2023)
Keyphrases
  • temporal logic
  • learning algorithm
  • optimal solution
  • search space
  • dynamic programming
  • computational complexity
  • np hard
  • convex hull
  • verification method
  • objective function
  • simulated annealing
  • linear programming