Login / Signup
Signal Temporal Logic Meets Convex-Concave Programming: A Structure-Exploiting SQP Algorithm for STL Specifications.
Yoshinari Takayama
Kazumune Hashimoto
Toshiyuki 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