Code accompanying "Value Functions are Control Barrier Functions: Verification of Safe Policies using Control Theory"
Primary LanguagePythonMIT LicenseMIT