TY  - RPRT
TI  - Learning Robust and Correct Controllers from Signal Temporal Logic Specifications Using BarrierNet
AU  - Wenliang Liu
AU  - Wei Xiao
AU  - Calin Belta
PY  - 2023
UR  - https://arxiv.org/abs/2304.06160
ID  - 2304.06160
ER  -