Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2304.01475
Cited By
v1
v2 (latest)
Signal Temporal Logic Meets Convex-Concave Programming: A Structure-Exploiting SQP Algorithm for STL Specifications
IEEE Conference on Decision and Control (CDC), 2023
4 April 2023
Yoshinari Takayama
Kazumune Hashimoto
T. Ohtsuka
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Signal Temporal Logic Meets Convex-Concave Programming: A Structure-Exploiting SQP Algorithm for STL Specifications"
0 / 0 papers shown
Title
No papers found