The following pages link to Shenghua Feng (Q2226744):
Displayed 5 items.
- Unbounded-time safety verification of stochastic differential dynamics (Q2226745) (← links)
- Over- and Underapproximating Reach Sets for Perturbed Delay Differential Equations (Q5854002) (← links)
- Taming delays in dynamical systems. Unbounded verification of delay differential equations (Q6194599) (← links)
- Reach-Avoid Differential Games Based on Invariant Generation (Q6309378) (← links)
- Lower Bounds for Possibly Divergent Probabilistic Programs (Q6426252) (← links)