STLCCP: Efficient Convex Optimization-based Framework for Signal Temporal Logic Specifications

Yoshinari Takayama, Kazumune Hashimoto, Toshiyuki Ohtsuka

Signal temporal logic (STL) is a powerful formalism for specifying various temporal properties in dynamical systems. However, existing methods, such as mixed-integer programming an…