@misc{indiciae59fa34e69537, title = {Synthesize Efficient Safety Certificates for Learning-Based Safe Control using Magnitude Regularization}, author = {Haotian Zheng and Haitong Ma and Sifa Zheng and Shengbo Eben Li and Jianqiang Wang}, year = {2022}, url = {https://arxiv.org/abs/2209.11787}, note = {Source identifier: 2209.11787} }