Safety-critical control occupies a central role in the design of dynamical systems that must operate reliably under stringent constraints. At its core, the discipline seeks to guarantee that the ...