activity
20182026
most citedOver- and Under-Approximating Reachable Sets for Perturbed Delay Differential Equations

2 citations · 4 across the 8 of their papers we have counts for

collaborators
Showing 2024Show all

2 papers · 1 filter

eess.SY2024

Switching Controller Synthesis for Hybrid Systems Against STL Formulas

Han Su, Shenghua Feng, Sinong Zhan +1

Switching controllers play a pivotal role in directing hybrid systems (HSs) towards the desired objective, embodying a ``correct-by-construction'' approach to HS design. Identifyin…

cs.PL2024

Piecewise Analysis of Probabilistic Programs via -Induction

Tengshun Yang, Shenghua Feng, Hongfei Fu +3

In probabilistic program analysis, quantitative analysis aims at deriving tight numerical bounds for probabilistic properties such as expectation and assertion probability. Most pr…