Author:Pierre-Loic Garoche
Keyphrasescontinuation-passing style, convex optimization, interior point method, model checking, Model Predictive Control, Numerical Software Verification, program analysis, Satisfiability Modulo Theory, Stateflow. |
![]() | ||||
| ||||
Copyright © 2012-2025 easychair.org. All rights reserved. |