Absolutely! These techniques are the key unlocks to robustifying AI and creating certifiable trust in their behavior. Starting with pre-deep neural network er

Absolutely! These techniques are the key unlocks to robustifying AI and creating certifiable trust in their behavior. Starting with pre-deep neural network era stuff like LQR-RRT trees, to the hot topic today of contraction theory, and control barrier certificates in autonomous vehicles