Wenliang Liu, Wei Xiao 0003, Calin Belta. Learning Robust and Correct Controllers from Signal Temporal Logic Specifications Using BarrierNet. In 62nd IEEE Conference on Decision and Control, CDC 2023, Singapore, December 13-15, 2023. pages 7049-7054, IEEE, 2023. [doi]
@inproceedings{Liu0B23,
title = {Learning Robust and Correct Controllers from Signal Temporal Logic Specifications Using BarrierNet},
author = {Wenliang Liu and Wei Xiao 0003 and Calin Belta},
year = {2023},
doi = {10.1109/CDC49753.2023.10383857},
url = {https://doi.org/10.1109/CDC49753.2023.10383857},
researchr = {https://researchr.org/publication/Liu0B23},
cites = {0},
citedby = {0},
pages = {7049-7054},
booktitle = {62nd IEEE Conference on Decision and Control, CDC 2023, Singapore, December 13-15, 2023},
publisher = {IEEE},
isbn = {979-8-3503-0124-3},
}