3

Checking δ-Satisfiability of Reals with Integrals
Predictable Verification using Intrinsic Definitions