Nikhil Baman; Brant Riley. Robustness and Certified Safety in Adversarial Machine Learning for Critical Infrastructure. aimls 2026, 1.