Ma, X.; Wu, J.; Sibai, H.; Kantaros, Y.; Vorobeychik, Y. Learning Vision-Based Neural Network Controllers With Semi-Probabilistic Safety Guarantees. AAAI 2026, 40, 35698-35706.