Pages that link to "Item:Q2358081"
From MaRDI portal
The following pages link to Credible autocoding of convex optimization algorithms (Q2358081):
Displaying 3 items.
- CVXGEN: a code generator for embedded convex optimization (Q399985) (← links)
- Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm (Q5222962) (← links)
- Hybrid Systems: Computation and Control (Q5703955) (← links)