Login / Signup
Xinpeng Ni
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Interval Arithmetic
Parameter Space
Numerical Data
Monte Carlo
Top Venues
SETTA
</>
Publications
</>
Xinpeng Ni
,
Yulun Wu
,
Bican Xia
Solving SMT over Non-linear Real Arithmetic via Numerical Sampling and Symbolic Verification.
SETTA
(2023)