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

Yoshinari Takayama, Kazumune Hashimoto, Toshiyuki Ohtsuka. Signal Temporal Logic Meets Convex-Concave Programming: A Structure-Exploiting SQP Algorithm for STL Specifications. In 62nd IEEE Conference on Decision and Control, CDC 2023, Singapore, December 13-15, 2023. pages 6855-6862, IEEE, 2023. [doi]

Authors

Yoshinari Takayama

This author has not been identified. Look up 'Yoshinari Takayama' in Google

Kazumune Hashimoto

This author has not been identified. Look up 'Kazumune Hashimoto' in Google

Toshiyuki Ohtsuka

This author has not been identified. Look up 'Toshiyuki Ohtsuka' in Google