Safe Learning for Control using Control Lyapunov Functions and Control Barrier Functions: A Review | Synapse