Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation

Published in Conference on Robot Learning (**CoRL**), 2024