Paper accepted at UAI 2021!

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