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

Publication
CoRR
Assalé Adjé
Assalé Adjé
Associate Professor at Univ. of Perpignan

Related