Pierre-Loïc Garoche
Pierre-Loïc Garoche
Home
Publications
Collaborators
Projects
Tools
Teaching
Talks
Contact
Automated analysis of Stateflow models
Hamza Bourbouh
,
Pierre-Loïc Garoche
,
Christophe Garion
,
Arie Gurfinkel
,
Temesghen Kahsai
,
Xavier Thirioux
January 2017
PDF
Type
Conference paper
Publication
LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017
own
Hamza Bourbouh
PhD student (2017-)
Related
Semi-Definite Programs for Discrete-time Piecewise Affine Systems
Formal Verification for Embedded Implementation of Convex Optimization Algorithms
Validation of Convex Optimization Algorithms and Credible Implementation for Model Predictive Control
Semidefinite Approximations of Reachable Sets for Discrete-Time Polynomial Systems
A Sums-of-Squares Extension of Policy Iterations
Cite
×