luigiberducci / fosco Star 1 Code Issues Pull requests Learner-Verifier Framework for formal synthesis of Control Barrier Functions (CBF). torch learner smt-solver verifier cbf z3-solver control-barrier-function counter-example-guided-synthesis learner-verifier Updated Jan 17, 2024 Python