| Taming delays in dynamical systems: Unbounded verification of delay differential equations S Feng, M Chen, N Zhan, M Fränzle, B Xue International Conference on Computer Aided Verification, 650-669, 2019 | 22 | 2019 |
| Lower bounds for possibly divergent probabilistic programs S Feng, M Chen, H Su, BL Kaminski, JP Katoen, N Zhan Proceedings of the ACM on Programming Languages 7 (OOPSLA1), 696-726, 2023 | 20 | 2023 |
| Over-and underapproximating reach sets for perturbed delay differential equations B Xue, Q Wang, S Feng, N Zhan IEEE Transactions on Automatic Control 66 (1), 283-290, 2020 | 18 | 2020 |
| Unbounded-time safety verification of stochastic differential dynamics S Feng, M Chen, B Xue, S Sankaranarayanan, N Zhan International Conference on Computer Aided Verification, 327-348, 2020 | 14 | 2020 |
| On completeness of SDP-based barrier certificate synthesis over unbounded domains H Wu, S Feng, T Gan, J Wang, B Xia, N Zhan International Symposium on Formal Methods, 248-266, 2024 | 5 | 2024 |
| Differential games based on invariant sets generation B Xue, Q Wang, N Zhan, M Fränzle, S Feng 2022 American Control Conference (ACC), 1285-1292, 2022 | 4 | 2022 |
| Switching controller synthesis for hybrid systems against STL formulas H Su, S Feng, S Zhan, N Zhan International Symposium on Formal Methods, 229-247, 2024 | 3 | 2024 |
| Reset controller synthesis by reach-avoid analysis for delay hybrid systems H Su, J Zhu, S Feng, Y Bai, B Gu, J Liu, M Yang, N Zhan arXiv preprint arXiv:2309.05908, 2023 | 3 | 2023 |
| Runtime Safety and Reach-avoid Prediction of Stochastic Systems via Observation-aware Barrier Functions S Feng, J An, F Xu arXiv preprint arXiv:2511.09192, 2025 | 1 | 2025 |
| A Unified Framework for Quantitative Analysis of Probabilistic Programs S Feng, T Yang, M Chen, N Zhan Principles of Verification: Cycling the Probabilistic Landscape: Essays …, 2024 | 1 | 2024 |
| Generalizing sdp-based barrier certificate synthesis to unbounded domains by dropping archimedean condition H Wu, S Feng, T Gan, J Wang, B Xia, N Zhan arXiv preprint arXiv:2312.15416, 2023 | 1 | 2023 |
| Reach-avoid differential games based on invariant generation B Xue, Q Wang, N Zhan, M Fränzle, S Feng arXiv preprint arXiv:1811.03215, 2018 | 1 | 2018 |
| Piecewise Analysis of Probabilistic Programs via 𝑘-Induction T Yang, S Feng, H Fu, N Zhan, J Ke, S Wu Proceedings of the ACM on Programming Languages 10 (POPL), 1933-1963, 2026 | | 2026 |
| Unbounded-Time Safety Verification of Stochastic Differential Dynamics О 随机微分系统的无穷时间安全性验证 Shenghua Feng1, 2, Mingshuai Chen3, Bai Xue1, 2, Sriram … S Feng, M Chen, B Xue, S Sankaranarayanan, N Zhan | | 2010 |
Naijun ZhanSchool of Computer Science, Peking UniversityVerified email at ios.ac.cn
