Jax Official Implementation of T-RO Paper: Songyuan Zhang*, Oswin So*, Kunal Garg, Chuchu Fan: "GCBF+: A Neural Graph Control Barrier Function Framework for Distributed Safe Multi-Agent Control".
-
Updated
Jun 3, 2025 - Python
#
neural-certificates
Here are 3 public repositories matching this topic...
Official Implementation of L4DC paper: Compositional Neural Certificates for Networked Dynamical Systems
-
Updated
Jul 6, 2023 - Python
Code for NeurIPS'25 paper "Certifying Stability of Reinforcement Learning Policies using Generalized Lyapunov Functions"
-
Updated
Dec 5, 2025 - Python
Improve this page
Add a description, image, and links to the neural-certificates topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the neural-certificates topic, visit your repo's landing page and select "manage topics."