54 citations · 312 across the 36 of their papers we have counts for
1 paper · 2 filters
Eric Goubault, Sylvie Putot
We propose an approach to compute inner and outer-approximations of the sets of values satisfying constraints expressed as arbitrarily quantified formulas. Such formulas arise for…