FENG, Shenghua; AN, Jie; XU, Fanjiang. Runtime Safety and Reach-avoid Prediction of Stochastic Systems via Observation-aware Barrier Functions. Proceedings of the AAAI Conference on Artificial Intelligence, [S. l.], v. 40, n. 42, p. 35437–35445, 2026. DOI: 10.1609/aaai.v40i42.40853. Disponível em: https://ojs.aaai.org/index.php/AAAI/article/view/40853. Acesso em: 25 may. 2026.