- 2
- 1
PG
Pierre-Loïc Garoche
3
Documents
Affiliations actuelles
- 380071
Identifiants chercheurs
- pierre-loic-garoche
- Arxiv : garoche_p_1
- IdRef : 127405690
- 0000-0002-0513-6076
- Google Scholar : https://scholar.google.com/citations?user=KvqkWwwAAAAJ
Présentation
Homepage: [www.garoche.net](https://www.garoche.net)
Publications
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 3
- 3
- 1
- 1
- 1
|
A Sums-of-Squares Extension of Policy Iterations2017
Pré-publication, Document de travail
hal-01133405v2
|
|
Automatic Synthesis of k-Inductive Piecewise Quadratic Invariants for Switched Affine Control Programs2015
Pré-publication, Document de travail
hal-01155251v2
|
|
Convex Optimization-based Static Analysis for Control SystemsComputation and Language [cs.CL]. INPT; Université de toulouse, 2016
HDR
tel-01371978v1
|