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:
CoRR (2023)
Keyphrases
</>
temporal logic
learning algorithm
objective function
computational complexity
dynamic programming
model checking
verification method
worst case
np hard
expectation maximization
convergence rate
probabilistic model
em algorithm
convex hull
global minimum
concurrent systems