luigiberducci/fosco
Learner-Verifier Framework for formal synthesis of Control Barrier Functions (CBF).
PythonBSD-3-Clause
No issues in this repository yet.
Learner-Verifier Framework for formal synthesis of Control Barrier Functions (CBF).
PythonBSD-3-Clause
No issues in this repository yet.