Feng, Shenghua, et al. “Runtime Safety and Reach-Avoid Prediction of Stochastic Systems via Observation-Aware Barrier Functions”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 40, no. 42, Mar. 2026, pp. 35437-45, doi:10.1609/aaai.v40i42.40853.