Anton Dahbura, co-director of the JHU Institute for Assured Autonomy, presented at the International Conference on Machine Learning Workshop on Formal Verification of Machine Learning in fall 2022. His talk highlighted the concept of undeterminism, and the AI uncertainty principle.