Qi Heng Ho, Roland B. Ilyes, Zachary N. Sunberg, Morteza Lahijanian. Automaton-Guided Control Synthesis for Signal Temporal Logic Specifications. In 61st IEEE Conference on Decision and Control, CDC 2022, Cancun, Mexico, December 6-9, 2022. pages 3243-3249, IEEE, 2022. [doi]
@inproceedings{HoISL22,
title = {Automaton-Guided Control Synthesis for Signal Temporal Logic Specifications},
author = {Qi Heng Ho and Roland B. Ilyes and Zachary N. Sunberg and Morteza Lahijanian},
year = {2022},
doi = {10.1109/CDC51059.2022.9993090},
url = {https://doi.org/10.1109/CDC51059.2022.9993090},
researchr = {https://researchr.org/publication/HoISL22},
cites = {0},
citedby = {0},
pages = {3243-3249},
booktitle = {61st IEEE Conference on Decision and Control, CDC 2022, Cancun, Mexico, December 6-9, 2022},
publisher = {IEEE},
isbn = {978-1-6654-6761-2},
}