X. Ma, J. Wu, H. Sibai, Y. Kantaros, and Y. Vorobeychik, “Learning Vision-Based Neural Network Controllers with Semi-Probabilistic Safety Guarantees”, AAAI, vol. 40, no. 42, pp. 35698–35706, Mar. 2026.