Unified Overview of Safety Certificate Functions: Techniques from Hamilton--Jacobi Reachability and Control Barrier Functions
arXiv:2611.07537v1 Announce Type: cross Abstract: Safety is a central concern in modern autonomous systems. Safety certificates---functions whose existence guar…