S. Feng, J. An, and F. Xu, “Runtime Safety and Reach-avoid Prediction of Stochastic Systems via Observation-aware Barrier Functions”, AAAI, vol. 40, no. 42, pp. 35437–35445, Mar. 2026.