no code implementations • 4 Apr 2023 • David Smith Sundarsingh, Ratnangshu Das, Adnane Saoud, Pushpak Jagtap
In addition, we also provide an analysis on the effect of the CBF parameters on the conservatism introduced by our proposed approach in the size and domain of the synthesized controller.