Feng, S.; An, J.; Xu, F. Runtime Safety and Reach-Avoid Prediction of Stochastic Systems via Observation-Aware Barrier Functions. AAAI 2026, 40, 35437-35445.