Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation.

Hanjiang Hu, Yujie Yang, Tianhao Wei, Changliu Liu

Browse the full CoRL paper archive.