Feng, S., An, J., & 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), 35437–35445. https://doi.org/10.1609/aaai.v40i42.40853