Han Su

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
2. Shenghua Feng, Mingshuai Chen, Han Su, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Naijun Zhan (2023). Lower Bounds for Possibly Divergent Probabilistic Programs. Proc. ACM Program. Lang. (OOPSLA). PDF Cite Poster Slides DOI