@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}
}

{"_id":"GqEjKf3E6prZnryXQ","bibbaseid":"mao-bfakmee-garoche-chapoutot-successiveconvexificationforoptimalcontrolwithsignaltemporallogicspecifications-2022","author_short":["Mao, Y.","\\bf Açıkmeşe, Behçet","Garoche, P.","Chapoutot, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Successive Convexification for Optimal Control with Signal Temporal Logic Specifications","author":[{"propositions":[],"lastnames":["Mao"],"firstnames":["Yuanqi"],"suffixes":[]},{"firstnames":[],"propositions":[],"lastnames":["\\bf Açıkmeşe, Behçet"],"suffixes":[]},{"propositions":[],"lastnames":["Garoche"],"firstnames":["Pierre–Loic"],"suffixes":[]},{"propositions":[],"lastnames":["Chapoutot"],"firstnames":["Alexandre"],"suffixes":[]}],"booktitle":"25th ACM International Conference on Hybrid Systems: Computation and Control","pages":"1–7","year":"2022","bibtex":"@inproceedings{mao2022successive,\n title={Successive Convexification for Optimal Control with Signal Temporal Logic Specifications},\n author={Mao, Yuanqi and {\\bf A{\\c{c}}{\\i}kme{\\c{s}}e, Beh{\\c{c}}et} and Garoche, Pierre--Loic and Chapoutot, Alexandre},\n booktitle={25th ACM International Conference on Hybrid Systems: Computation and Control},\n pages={1--7},\n year={2022}\n}\n\n","author_short":["Mao, Y.","\\bf Açıkmeşe, Behçet","Garoche, P.","Chapoutot, A."],"key":"mao2022successive","id":"mao2022successive","bibbaseid":"mao-bfakmee-garoche-chapoutot-successiveconvexificationforoptimalcontrolwithsignaltemporallogicspecifications-2022","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://bibbase.org/network/files/r4Kpw9XmHKrDuwTjt","dataSources":["hj7rPM3b5ptAN8y5R","v3s4CEhzHdLWdodB2"],"keywords":[],"search_terms":["successive","convexification","optimal","control","signal","temporal","logic","specifications","mao","\\bf açıkmeşe","garoche","chapoutot"],"title":"Successive Convexification for Optimal Control with Signal Temporal Logic Specifications","year":2022}