ResearchTrend.AI
  • Communities
  • Connect sessions
  • AI calendar
  • Organizations
  • Join Slack
  • Contact Sales
Papers
Communities
Social Events
Terms and Conditions
Pricing
Contact Sales
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2304.01475
  4. Cited By
Signal Temporal Logic Meets Convex-Concave Programming: A
  Structure-Exploiting SQP Algorithm for STL Specifications
v1v2 (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
ArXiv (abs)PDFHTML

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