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 2026Show all

2 papers · 1 filter

cs.SE2026

How Powerful are LLMs in Generating Formal Program Specifications?

Fanpeng Yang, Xing Li, Shuling Wang +7

Formal verification provides strong guarantees of software correctness, but its adoption is limited by the high cost of writing precise formal specifications. While recent large la…

eess.SY2026

Exact Moment Estimation of Stochastic Differential Dynamics

Shenghua Feng, Jie An, Naijun Zhan +1

Moment estimation for stochastic differential equations (SDEs) is fundamental to the formal reasoning and verification of stochastic dynamical systems, yet remains challenging and…