Feng, Shenghua, Jie An, and Fanjiang Xu. 2026. “Runtime Safety and Reach-Avoid Prediction of Stochastic Systems via Observation-Aware Barrier Functions”. Proceedings of the AAAI Conference on Artificial Intelligence 40 (42):35437-45. https://doi.org/10.1609/aaai.v40i42.40853.