The following pages link to Liqian Chen (Q281289):
Displaying 8 items.
- An abstract domain to infer symbolic ranges over nonnegative parameters (Q281291) (← links)
- Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT (Q2961574) (← links)
- Linear Absolute Value Relation Analysis (Q3000578) (← links)
- Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships (Q3392932) (← links)
- An Abstract Domain to Discover Interval Linear Equalities (Q3656879) (← links)
- (Q5196888) (← links)
- Verifying numerical programs via iterative abstract testing (Q6536291) (← links)
- Analyzing deep neural networks with symbolic propagation: towards higher precision and faster verification (Q6536294) (← links)
