Solving SMT over Non-linear Real Arithmetic via Numerical Sampling and Symbolic Verification.
Xinpeng NiYulun WuBican XiaPublished in: SETTA (2023)
Keyphrases
- real life
- model checking
- interval arithmetic
- monte carlo
- high level
- arithmetic operations
- sample size
- combinatorial optimization
- sampling strategy
- random sampling
- sensitivity analysis
- symbolic data
- sampling algorithm
- numerical data
- face verification
- parameter space
- natural language processing
- feature space
- search algorithm