Formal Verification for Embedded Implementation of Convex Optimization Algorithms

Publication
IFAC World Congress 2017

Related