TY - RPRT TI - Synthesize Efficient Safety Certificates for Learning-Based Safe Control using Magnitude Regularization AU - Haotian Zheng AU - Haitong Ma AU - Sifa Zheng AU - Shengbo Eben Li AU - Jianqiang Wang PY - 2022 UR - https://arxiv.org/abs/2209.11787 ID - 2209.11787 ER -