21 citations · 29 across the 8 of their papers we have counts for
Showing 2014Show all
3 papers · 1 filter
cs.LO2014★ 2 cited
Quadratic Zonotopes:An extension of Zonotopes to Quadratic Arithmetics
Assalé Adjé, Pierre-Loïc Garoche, Alexis Werey
Affine forms are a common way to represent convex sets of using a base of error terms . Quadratic forms are an extension of affine forms enabling the u…
cs.LO2014
Polynomial Template Generation using Sum-of-Squares Programming
Assalé Adjé, Victor Magron
Template abstract domains allow to express more interesting properties than classical abstract domains. However, template generation is a challenging problem when one uses template…
math.OC2014
Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs
Assalé Adje, Pierre-Loïc Garoche
Among the various critical systems that worth to be formally analyzed, a wide set consists of controllers for dynamical systems. Those programs typically execute an infinite loop i…