You are about to access our book library "Safe Autonomy with Control Barrier Functions: Theory and Applications (Synthesis Lectures on Computer Science) full version" .