Feng, S., An, J. and Xu, F. (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), pp. 35437–35445. doi: 10.1609/aaai.v40i42.40853.