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 2015
DOI
Type
Conference paper
Publication
Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings
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
×