Ma, X. (2026) “Learning Vision-Based Neural Network Controllers with Semi-Probabilistic Safety Guarantees”, Proceedings of the AAAI Conference on Artificial Intelligence, 40(42), pp. 35698–35706. doi: 10.1609/aaai.v40i42.40882.