Our paper titled “PolyAR: A Highly Parallelizable Solver For Polynomial Inequality Constraints Using Convex Abstraction Refinement” is accepted for publication at the 7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS).
Our paper titled “PolyAR: A Highly Parallelizable Solver For Polynomial Inequality Constraints Using Convex Abstraction Refinement” is accepted for publication at the 7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS).