Successive Convexification for Optimal Control with Signal Temporal Logic Specifications. Mao, Y., \bf Açıkmeşe, Behçet, Garoche, P., & Chapoutot, A. In 25th ACM International Conference on Hybrid Systems: Computation and Control, pages 1–7, 2022. bibtex @inproceedings{mao2022successive,
title={Successive Convexification for Optimal Control with Signal Temporal Logic Specifications},
author={Mao, Yuanqi and {\bf A{\c{c}}{\i}kme{\c{s}}e, Beh{\c{c}}et} and Garoche, Pierre--Loic and Chapoutot, Alexandre},
booktitle={25th ACM International Conference on Hybrid Systems: Computation and Control},
pages={1--7},
year={2022}
}