Abstract: In this letter, we introduce robust data-driven control barrier functions (CBF-DDs) to guarantee robust safety of unknown continuous control affine systems despite worst-case realizations of ...

Abstract: We propose a unified approach to integrating reasoning and deep learning by introducing Strict Differentiable Fuzzy Logics, a family of logics built on first-order fuzzy logic and driven ...