Property-based polynomial invariant generation using sums-of-squares optimization

Assalé Adjé, Pierre-Loic Garoche, Victor Magron
January 2015
Type
Conference paper
Publication
17th British-French-German Conference on Optimization 15-17 June 2015 London, United Kingdom
abstractonly own
Avatar
Assalé Adjé
Associate Professor at Univ. of Perpignan

Related