/rl_cbf

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

Primary LanguagePythonMIT LicenseMIT

Stargazers