Hao Wu

Publications with FICTION

Journal Articles

1. Shenghua Feng, Han Su, Hao Wu, Jie An, Mingshuai Chen, Naijun Zhan (2026). Tolerant Barrier Certificates for Stochastic Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.. Cite Artifact Evaluated