21 citations · 29 across the 8 of their papers we have counts for
Showing 2015 · cs.LOShow all
2 papers · 2 filters
cs.LO2015
Property-based Polynomial Invariant Generation using Sums-of-Squares Optimization
Assalé Adjé, Pierre-Loïc Garoche, Victor Magron
While abstract interpretation is not theoretically restricted to specific kinds of properties, it is, in practice, mainly developed to compute linear over-approximations of reachab…
cs.LO2015
A Sums-of-Squares Extension of Policy Iterations
Assalé Adjé, Pierre-Loïc Garoche, Victor Magron
In order to address the imprecision often introduced by widening operators in static analysis, policy iteration based on min-computations amounts to considering the characterizatio…