Learning Robust and Correct Controllers from Signal Temporal Logic Specifications Using BarrierNet

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]

Authors

Wenliang Liu

This author has not been identified. Look up 'Wenliang Liu' in Google

Wei Xiao 0003

This author has not been identified. Look up 'Wei Xiao 0003' in Google

Calin Belta

This author has not been identified. Look up 'Calin Belta' in Google