Checking δ-Satisfiability of Reals with Integrals

Open Webpage

Cody Rivera, Bishnu Bhusal, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan

Published: 01 Jan 2025, Last Modified: 02 Aug 2025Proc. ACM Program. Lang. 2025EveryoneRevisionsBibTeXCC BY-SA 4.0