Pierre-Loïc Garoche
Pierre-Loïc Garoche
Home
Publications
Collaborators
Projects
Tools
Teaching
Talks
Contact
Practical Policy Iterations A practical use of policy iterations for static analysis - The quadratic case.
Pierre Roux
,
Pierre-Loic Garoche
January 2015
DOI
Type
Journal article
Publication
Formal Methods in System Design
own
Pierre Roux
Researcher at Onera
Related
Closed Loop Analysis of Control Command Software
Compilation Of Synchronous Observers As Code Contracts
Quadratic Zonotopes - An Extension of Zonotopes to Quadratic Arithmetics
Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs
Formal Analysis of Robustness at Model and Code Level
Cite
×