PPLite: zero-overhead encoding of NNC polyhedra (Q2216124): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ic.2020.104620
+Normal rank
@@ Property / OpenAlex ID @@
+W3047969355
@@ Property / OpenAlex ID: W3047969355 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient constraint/generator removal from double description of polyhedra
+Normal rank
@@ Property / cites work @@
+Computing convex hulls and counting integer points with \texttt{polymake}
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4813407
@@ Property / cites work: Q4813407 / rank @@
+Normal rank
@@ Property / cites work @@
+Precise widening operators for convex polyhedra
@@ Property / cites work: Precise widening operators for convex polyhedra / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Not necessarily closed convex polyhedra and the double description method
+Normal rank
@@ Property / cites work @@
+Applications of polyhedral computations to the analysis and verification of hardware and software systems
+Normal rank
@@ Property / cites work @@
+Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness
+Normal rank
@@ Property / cites work @@
+Q4411960
@@ Property / cites work: Q4411960 / rank @@
+Normal rank
@@ Property / cites work @@
+A direct encoding for NNC polyhedra
@@ Property / cites work: A direct encoding for NNC polyhedra / rank @@
+Normal rank
@@ Property / cites work @@
+An efficient abstract domain for not necessarily closed polyhedra
+Normal rank
@@ Property / cites work @@
+Automatic synthesis of switching controllers for linear hybrid systems: safety control
+Normal rank
@@ Property / cites work @@
+Q5532570
@@ Property / cites work: Q5532570 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithm for finding a general formula for the non-negative solutions of a system of linear equations
+Normal rank
@@ Property / cites work @@
+Algorithm for finding a general formula for the non-negative solutions of a system of linear inequalities
+Normal rank
@@ Property / cites work @@
+Algorithm for discovering the set of all the solutions of a linear programming problem
+Normal rank
@@ Property / cites work @@
+Q2769578
@@ Property / cites work: Q2769578 / rank @@
+Normal rank
@@ Property / cites work @@
+Widening and narrowing operators for abstract interpretation
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Computing the face lattice of a polytope from its vertex-facet incidences
+Normal rank
@@ Property / cites work @@
+Q5817857
@@ Property / cites work: Q5817857 / rank @@
+Normal rank
@@ Property / cites work @@
+Fast polyhedra abstract domain
@@ Property / cites work: Fast polyhedra abstract domain / rank @@
+Normal rank
@@ Property / cites work @@
+Q5603731
@@ Property / cites work: Q5603731 / rank @@
+Normal rank
@@ Property / cites work @@
+On the efficiency of convex polyhedra
@@ Property / cites work: On the efficiency of convex polyhedra / rank @@
+Normal rank
@@ Property / cites work @@
+New modification of the double description method for constructing the skeleton of a polyhedral cone
+Normal rank