Back to Results
First PageMeta Content
Algebra / Mathematics / Convex geometry / Linear algebra / Convex analysis / Convex cone / Abstract interpretation / Octahedron / Polyhedron / Linear programming / Linear inequality / Convex set


Counterexample-guided Refinement of Template Polyhedra Sergiy Bogomolov12, Goran Frehse3, Mirco Giacobbe2, and Thomas A. Henzinger2 1 3
Add to Reading List

Document Date: 2018-02-08 07:01:31


Open Document

File Size: 550,07 KB

Share Result on Facebook
UPDATE