[poslathian]

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