Property-based Polynomial Invariant Generation using Sums-of-Squares Optimization

Publication
CoRR

Related