Project combining CBFs and reachability, for warmstarting and for making backup policies explicit
Primary LanguagePython