Safe Autonomy With Control Barrier Functions Theory And Applications Synthesis | Desertcart British Virgin Islands