%0 Conference Paper %1 conf/hybrid/MaoAGC22 %A Mao, Yuanqi %A Açikmese, Behçet %A Garoche, Pierre-Loïc %A Chapoutot, Alexandre %B HSCC %D 2022 %E Bartocci, Ezio %E Putot, Sylvie %I ACM %K dblp %P 9:1-9:7 %T Successive Convexification for Optimal Control with Signal Temporal Logic Specifications. %U http://dblp.uni-trier.de/db/conf/hybrid/hscc2022.html#MaoAGC22 %@ 978-1-4503-9196-2

@inproceedings{conf/hybrid/MaoAGC22, added-at = {2022-05-02T00:00:00.000+0200}, author = {Mao, Yuanqi and Açikmese, Behçet and Garoche, Pierre-Loïc and Chapoutot, Alexandre}, biburl = {https://www.bibsonomy.org/bibtex/2ea5a7496aad2ba7858540127c148f8bc/dblp}, booktitle = {HSCC}, crossref = {conf/hybrid/2022}, editor = {Bartocci, Ezio and Putot, Sylvie}, ee = {https://doi.org/10.1145/3501710.3519518}, interhash = {73e1a2fec8024ec49931ce5cd1a1a35d}, intrahash = {ea5a7496aad2ba7858540127c148f8bc}, isbn = {978-1-4503-9196-2}, keywords = {dblp}, pages = {9:1-9:7}, publisher = {ACM}, timestamp = {2024-04-09T13:55:04.000+0200}, title = {Successive Convexification for Optimal Control with Signal Temporal Logic Specifications.}, url = {http://dblp.uni-trier.de/db/conf/hybrid/hscc2022.html#MaoAGC22}, year = 2022 }