Shenghua Feng

Available identifiers

zbMath Open feng.shenghuaMaRDI QIDQ2226744

List of research outcomes

Publication	Date of Publication	Type
Taming delays in dynamical systems. Unbounded verification of delay differential equations	2024-02-16	Paper
Lower Bounds for Possibly Divergent Probabilistic Programs	2023-02-12	Paper
Over- and Underapproximating Reach Sets for Perturbed Delay Differential Equations	2021-03-12	Paper
Unbounded-time safety verification of stochastic differential dynamics	2021-02-09	Paper
Reach-Avoid Differential Games Based on Invariant Generation	2018-11-07	Paper

Research outcomes over time

This page was built for person: Shenghua Feng