Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library
Abstract elided by the publisher.
Related papers
- Precise Widening Operators for Convex Polyhedra SAS 2003
- Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra SAS 2005
- Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools VMCAI 2013
- Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints TACAS 2009
- An Efficient Abstract Domain for Not Necessarily Closed Polyhedra SAS 2018
- A Direct Encoding for NNC Polyhedra CAV 2018
- Static Analysis of ReLU Neural Networks with Tropical Polyhedra SAS 2021
- A Logical Product Approach to Zonotope Intersection CAV 2010