2 papers
eess.SY2024
On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains
Hao Wu, Shenghua Feng, Ting Gan +3
Barrier certificates, serving as differential invariants that witness system safety, play a crucial role in the verification of cyber-physical systems (CPS). Prevailing computation…
cs.LO2024
Nonlinear Craig Interpolant Generation over Unbounded Domains by Separating Semialgebraic Sets
Hao Wu, Jie Wang, Bican Xia +3
Interpolation-based techniques become popular in recent years, as they can improve the scalability of existing verification techniques due to their inherent modularity and local re…