28 citations · 70 across the 25 of their papers we have counts for
1 paper · 2 filters
Yiming Meng, Jun Liu
Verifying stability and safety guarantees for nonlinear systems has received considerable attention in recent years. This property serves as a fundamental building block for specif…