Shenghua Feng

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 10

Top Topics

Differential Equations

Boundary Value Problem

Top Venues

Proc. ACM Program. Lang.

Publications

Han Su, Shenghua Feng, Sinong Zhan, Naijun Zhan
Switching Controller Synthesis for Hybrid Systems Against STL Formulas. CoRR (2024)
Hao Wu, Shenghua Feng, Ting Gan, Jie Wang, Bican Xia, Naijun Zhan
Generalizing SDP-Based Barrier Certificate Synthesis to Unbounded Domains by Dropping Archimedean Condition. CoRR (2023)
Han Su, Jiyu Zhu, Shenghua Feng, Yunjun Bai, Bin Gu, Jiang Liu, Mengfei Yang, Naijun Zhan
Reset Controller Synthesis by Reach-avoid Analysis for Delay Hybrid Systems. CoRR (2023)
Shenghua Feng, Mingshuai Chen, Han Su, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Naijun Zhan
Lower Bounds for Possibly Divergent Probabilistic Programs. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)
Shenghua Feng, Mingshuai Chen, Han Su, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Naijun Zhan
Lower Bounds for Possibly Divergent Probabilistic Programs. CoRR (2023)
Bai Xue, Qiuye Wang, Naijun Zhan, Martin Fränzle, Shenghua Feng
Differential Games Based on Invariant Sets Generation. ACC (2022)
Bai Xue, Qiuye Wang, Shenghua Feng, Naijun Zhan
Over- and Underapproximating Reach Sets for Perturbed Delay Differential Equations. IEEE Trans. Autom. Control. 66 (1) (2021)
Shenghua Feng, Mingshuai Chen, Bai Xue, Sriram Sankaranarayanan, Naijun Zhan
Unbounded-Time Safety Verification of Stochastic Differential Dynamics. CAV (2) (2020)
Shenghua Feng, Mingshuai Chen, Naijun Zhan, Martin Fränzle, Bai Xue
Taming Delays in Dynamical Systems - Unbounded Verification of Delay Differential Equations. CAV (1) (2019)
Bai Xue, Qiuye Wang, Shenghua Feng, Naijun Zhan
Over- and Under-Approximating Reachable Sets for Perturbed Delay Differential Equations. CoRR (2018)