/corl2023_rl_cbf

Code accompanying the submission: "Your Value Function is a Control Barrier Function: Verication of Learned Policies using Control Theory"

Primary LanguagePythonApache License 2.0Apache-2.0

Stargazers