Pierre-Loïc Garoche
Pierre-Loïc Garoche
Home
Publications
Collaborators
Projects
Tools
Teaching
Talks
Contact
A Sums-of-Squares Extension of Policy Iterations
Assalé Adjé
,
Pierre-Loic Garoche
,
Victor Magron
January 2017
PDF
DOI
Type
Journal article
Publication
Nonlinear Analysis: Hybrid Systems
own
Assalé Adjé
Associate Professor at Univ. of Perpignan
Related
Automatic synthesis of k-inductive piecewise quadratic invariants for switched affine control programs
Rapport final de l'Etude CNES : Vérification formelle de code généré automatiquement - R S16-BS0004-045 - COMPARAISON SCADE/LUSTRE/SIMULINK. RT 3/26308
Rapport final de l'Etude CNES : Vérification formelle de code généré automatiquement - R S16-BS0004-045. RT 2/26308
Rapport final VORACE. RT 2/26614
Rapport final CAFEIN. RT 3/21071
Cite
×
