Horizontal lines run left to right, parallel to the horizon, with slope 0 and equation y = k. Vertical lines run top to ...

We introduce a new class of certificates, termed graph control barrier function (GCBF), which are based on the well-established control barrier function theory for safety guarantees and utilize a ...