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