Shenghua Feng

17 papers A* 1C 1Journal 10Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
Exact Moment Estimation of Stochastic Differential Dynamics.
CoRR
Shenghua Feng, Jie An, Naijun Zhan, Fanjiang Xu
2026 J jnl
Piecewise Analysis of Probabilistic Programs via 𝑘-Induction.
Proc. ACM Program. Lang.
Tengshun Yang, Shenghua Feng, Hongfei Fu, Naijun Zhan, Jingyu Ke, Shiyang Wu
2026 A* conf
Runtime Safety and Reach-avoid Prediction of Stochastic Systems via Observation-aware Barrier Functions.
AAAI
Shenghua Feng, Jie An, Fanjiang Xu
2025 J jnl
Runtime Safety and Reach-avoid Prediction of Stochastic Systems via Observation-aware Barrier Functions.
CoRR
Shenghua Feng, Jie An, Fanjiang Xu
2024 — conf
A Unified Framework for Quantitative Analysis of Probabilistic Programs.
Principles of Verification (1)
Shenghua Feng, Tengshun Yang, Mingshuai Chen, Naijun Zhan
2024 — conf
On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains.
FM (2)
Hao Wu, Shenghua Feng, Ting Gan, Jie Wang, Bican Xia, Naijun Zhan
2024 — conf
Switching Controller Synthesis for Hybrid Systems Against STL Formulas.
FM (2)
Han Su, Shenghua Feng, Sinong Zhan, Naijun Zhan
2024 J jnl
Switching Controller Synthesis for Hybrid Systems Against STL Formulas.
CoRR
Han Su, Shenghua Feng, Sinong Zhan, Naijun Zhan
2023 J jnl
Generalizing SDP-Based Barrier Certificate Synthesis to Unbounded Domains by Dropping Archimedean Condition.
CoRR
Hao Wu, Shenghua Feng, Ting Gan, Jie Wang, Bican Xia, Naijun Zhan
2023 J jnl
Lower Bounds for Possibly Divergent Probabilistic Programs.
CoRR
Shenghua Feng, Mingshuai Chen, Han Su, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Naijun Zhan
2023 J jnl
Lower Bounds for Possibly Divergent Probabilistic Programs.
Proc. ACM Program. Lang.
Shenghua Feng, Mingshuai Chen, Han Su, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Naijun Zhan
2023 J jnl
Reset Controller Synthesis by Reach-avoid Analysis for Delay Hybrid Systems.
CoRR
Han Su, Jiyu Zhu, Shenghua Feng, Yunjun Bai, Bin Gu, Jiang Liu, Mengfei Yang, Naijun Zhan
2022 C conf
Differential Games Based on Invariant Sets Generation.
ACC
Bai Xue, Qiuye Wang, Naijun Zhan, Martin Fränzle, Shenghua Feng
2021 J jnl
Over- and Underapproximating Reach Sets for Perturbed Delay Differential Equations.
IEEE Trans. Autom. Control.
Bai Xue, Qiuye Wang, Shenghua Feng, Naijun Zhan
2020 — conf
Unbounded-Time Safety Verification of Stochastic Differential Dynamics.
CAV (2)
Shenghua Feng, Mingshuai Chen, Bai Xue, Sriram Sankaranarayanan, Naijun Zhan
2019 — conf
Taming Delays in Dynamical Systems - Unbounded Verification of Delay Differential Equations.
CAV (1)
Shenghua Feng, Mingshuai Chen, Naijun Zhan, Martin Fränzle, Bai Xue
2018 J jnl
Over- and Under-Approximating Reachable Sets for Perturbed Delay Differential Equations.
CoRR
Bai Xue, Qiuye Wang, Shenghua Feng, Naijun Zhan