Sameena Zahoor, MD, is board-certified in family medicine and works at the Hope Clinic, which provides free primary medical care to uninsured and under-insured patients, as a physician. The appendix ...
Abstract: This paper provides an introduction and overview of recent work on control barrier functions and their use to verify and enforce safety properties in the context of (optimization based) ...