Pierre-Loïc Garoche
Pierre-Loïc Garoche
Home
Publications
Collaborators
Projects
Tools
Teaching
Talks
Contact
Quadratic Zonotopes: An extension of Zonotopes to Quadratic Arithmetics
Assalé Adjé
,
Pierre-Loïc Garoche
,
Alexis Werey
January 2014
PDF
Type
Report
Publication
CoRR
own
Related
Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs
Credible Autocoding of Convex Optimization Algorithms
Synthesizing Modular Invariants for Synchronous Code
Testing-Based Compiler Validation for Synchronous Languages
Computing Quadratic Invariants with Min- and Max-Policy Iterations: A Practical Comparison
Cite
×