4

Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems

A Sums-of-Squares Extension of Policy Iterations

Formal specification of Projet P toolset requirements - SP5.T4

Projet CAFEIN - Rapport avancement RA 3/21071

Property-based Polynomial Invariant Generation using Sums-of-Squares Optimization

Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs

Credible Autocoding of Convex Optimization Algorithms

Open-loop analysis of the control program: first proposal WP2 D2.1

Preliminary report on clock directed verification and invariant generation WP1 D1.1

Projet CAFEIN - Rapport avancement RA 2/21071