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]
Abstract is missing.