1 citations · 1 across the 6 of their papers we have counts for
6 papers
Solving Stochastic Constraints by Oracle-based Gradient Descent and Interval Arithmetic
Xiakun Li, Hao Wu, Bican Xia +2
Stochastic constraints, which incorporate both deterministic parameters and random variables, extend classical deterministic constraints by explicitly accounting for uncertainty. T…
Quantifier Elimination Meets Treewidth
Hao Wu, Jiyu Zhu, Amir Kafshdar Goharshady +3
In this paper, we address the complexity barrier inherent in Fourier-Motzkin elimination (FME) and cylindrical algebraic decomposition (CAD) when eliminating a block of (existentia…
A Dual Riemannian Augmented Lagrangian Method for Low-Rank SDPs with Unit Diagonal
Jie Wang, Liangbing Hu, Bican Xia
We propose ManiDSDP, a dual Riemannian augmented Lagrangian method for solving low-rank semidefinite programs in the dual form whose positive semidefinite variable has unit diagona…
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…
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…
Nonlinear Craig Interpolant Generation
Ting Gan, Bican Xia, Bai Xue +2
Interpolation-based techniques have become popularized in recent years because of their inherently modular and local reasoning, which can scale up existing formal verification tech…