%0 Conference Paper %1 conf/cdc/TakayamaHO23 %A Takayama, Yoshinari %A Hashimoto, Kazumune %A Ohtsuka, Toshiyuki %B CDC %D 2023 %I IEEE %K dblp %P 6855-6862 %T Signal Temporal Logic Meets Convex-Concave Programming: A Structure-Exploiting SQP Algorithm for STL Specifications. %U http://dblp.uni-trier.de/db/conf/cdc/cdc2023.html#TakayamaHO23 %@ 979-8-3503-0124-3

@inproceedings{conf/cdc/TakayamaHO23, added-at = {2024-05-07T00:00:00.000+0200}, author = {Takayama, Yoshinari and Hashimoto, Kazumune and Ohtsuka, Toshiyuki}, biburl = {https://www.bibsonomy.org/bibtex/2e447fc8f3861515e47f9e9abbf985020/dblp}, booktitle = {CDC}, crossref = {conf/cdc/2023}, ee = {https://doi.org/10.1109/CDC49753.2023.10383605}, interhash = {726e69445732a0837249f02f306415dd}, intrahash = {e447fc8f3861515e47f9e9abbf985020}, isbn = {979-8-3503-0124-3}, keywords = {dblp}, pages = {6855-6862}, publisher = {IEEE}, timestamp = {2024-05-13T09:22:02.000+0200}, title = {Signal Temporal Logic Meets Convex-Concave Programming: A Structure-Exploiting SQP Algorithm for STL Specifications.}, url = {http://dblp.uni-trier.de/db/conf/cdc/cdc2023.html#TakayamaHO23}, year = 2023 }