Here we propose a framework to provide safety certification for given control policies, and synthesize control policies that improve the certification bounds.
Here we propose a framework to provide safety certification for given control policies, and synthesize control policies that improve the certification bounds.