Formal Verification and Validation of Convex Optimization Algorithms for Model Predictive Control

Raphael Cohen
December 2018
PDF
Type
Thesis
Avatar
Raphael Cohen
PhD Student (2015-2018)