Create NCBF.md

tayalmanan28 · web-flow · commit e55f44328558 · 2024-06-17T01:34:32.000+05:30
diff --git a/_projects/NCBF.md b/_projects/NCBF.md
@@ -0,0 +1,14 @@
+---
+title: Learning a formally verified CBF in stochastic environment
+
+description: |
+  Neural Network Based CBF with completeness guarantees
+  
+people:
+  - manan
+  - shishir
+
+layout: project
+last-updated: 2024-06-17
+---
+### Learning a formally verified CBF in stochastic environment
