∥ Department of Chemistry, University of Cambridge, Cambridge CB2 1EW, United Kingdom ⊥ Department of Chemical Engineering and Biotechnology, University of Cambridge, Cambridge CB2 3RA, United Kingdom ...
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 ...