TY - RPRT TI - BarrierNet: A Safety-Guaranteed Layer for Neural Networks AU - Wei Xiao AU - Ramin Hasani AU - Xiao Li AU - Daniela Rus PY - 2021 UR - https://arxiv.org/abs/2111.11277 ID - 2111.11277 ER -