The following pages link to Fast polyhedra abstract domain (Q5370845):
Displayed 9 items.
- ELINA (Q33544) (← links)
- Scalable polyhedral verification of recurrent neural networks (Q832168) (← links)
- Improving neural network verification through spurious region guided refinement (Q2044215) (← links)
- On the efficiency of convex polyhedra (Q2130564) (← links)
- PPLite: zero-overhead encoding of NNC polyhedra (Q2216124) (← links)
- A two-phase approach for conditional floating-point verification (Q2233493) (← links)
- Memory-efficient fixpoint computation (Q2233524) (← links)
- Symbolic analysis of linear hybrid automata -- 25 years later (Q6113970) (← links)
- Decoupling the ascending and descending phases in abstract interpretation (Q6176563) (← links)