Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization.

Assal Adj, Pierre-Loc Garoche, Victor Magron

Browse the full SAS paper archive.