Correct-by-Construction for Hybrid Systems by Synthesizing Reset Controller. - Jiang Liu 009; Han Su 003; Yunjun Bai; Bin Gu 006; Bai Xue 001; Mengfei Yang; Naijun Zhan (CoRR, 2023)

Reset Controller Synthesis by Reach-avoid Analysis for Delay Hybrid Systems. - Han Su 003; Jiyu Zhu; Shenghua Feng; Yunjun Bai; Bin Gu 006; Jiang Liu 009; Mengfei Yang; Naijun Zhan (CoRR, 2023)

Lower Bounds for Possibly Divergent Probabilistic Programs. - Shenghua Feng; Mingshuai Chen; Han Su 003; Benjamin Lucien Kaminski; Joost-Pieter Katoen; Naijun Zhan (Proc. ACM Program. Lang., 2023)

Switching Controller Synthesis for Hybrid Systems Against STL Formulas. - Han Su 003; Shenghua Feng; Sinong Zhan; Naijun Zhan (FM (2), 2024)

Reset controller synthesis: a correct-by-construction way to the design of CPS. - Naijun Zhan; Han Su 003; Mengfei Yang; Bin Gu 006 (Res. Dir. Cyber Phys. Syst., 2024)

Runtime Enforcement of CPS against Signal Temporal Logic. - Han Su 003; Saumya Shankar; Srinivas Pinisetty; Partha S. Roop; Naijun Zhan (HSCC, 2025)