Documentation
Français (FR)

Anglais (EN)

PG

Pierre-Loïc Garoche

6

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

Contact

Présentation

Publications

victor-magron

	Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems Victor Magron , Pierre-Loïc Garoche , Didier Henrion , Xavier Thirioux SIAM Journal on Control and Optimization, 2019, 57 (4), pp.2799-2820. ⟨10.1137/17M1121044⟩ Article dans une revue hal-01490897v1

	Property-based Polynomial Invariant Generation Using Sums-Of-Squares Assalé Adjé , Pierre-Loïc Garoche , Victor Magron Static Analysis Symposium 2015 (2015), Sep 2015, Saint-Malo, France. pp.235-251 Communication dans un congrès hal-01371508v1
	Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs Assalé Adjé , Pierre-Loïc Garoche , Victor Magron Verification Model Checking and Abstract Interpretation 2015 (VMCAI 2015), Jan 2015, Mumbai, India. pp.99-116 Communication dans un congrès hal-01371514v1

	Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization Assalé Adjé , Pierre-Loïc Garoche , Victor Magron Blazy Sandrine; Jensen Thomas. Static Analysis, Springer Berlin Heidelberg, pp.235-251, 2015, 978-3-662-48287-2. ⟨10.1007/978-3-662-48288-9_14⟩ Chapitre d'ouvrage hal-01369974v1

	A Sums-of-Squares Extension of Policy Iterations Assalé Adjé , Pierre-Loïc Garoche , Victor Magron 2017 Pré-publication, Document de travail hal-01133405v2
	Property-based Polynomial Invariant Generation using Sums-of-Squares Optimization Assalé Adjé , Pierre-Loïc Garoche , Victor Magron 2015 Pré-publication, Document de travail hal-01134816v1