Home
News
People
Publications
Seminar
Courses
Events
Vacancies
Contact
Pulp Fictions
Light
Dark
Automatic
Hao Wu
Publications with FICTION
Journal Articles
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
Cite
×