Delta-Decidability over the Reals.

Sicun Gao, Jeremy Avigad, Edmund M. Clarke

Browse the full LICS paper archive.