Yuanqi Mao, Behçet Açikmese, Pierre-Loïc Garoche, Alexandre Chapoutot. Successive Convexification for Optimal Control with Signal Temporal Logic Specifications. In HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022. ACM, 2022. [doi]
@inproceedings{MaoAGC22,
title = {Successive Convexification for Optimal Control with Signal Temporal Logic Specifications},
author = {Yuanqi Mao and Behçet Açikmese and Pierre-Loïc Garoche and Alexandre Chapoutot},
year = {2022},
doi = {10.1145/3501710.3519518},
url = {https://doi.org/10.1145/3501710.3519518},
researchr = {https://researchr.org/publication/MaoAGC22},
cites = {0},
citedby = {0},
booktitle = {HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022},
publisher = {ACM},
isbn = {978-1-4503-9196-2},
}