Sample Efficient Certification of Discrete-Time Control Barrier Functions

Open in new window