@article{rivera2025oopsla,
  title = {Checking δ-Satisfiability of Reals with Integrals},
  author = {Rivera, Cody and Bhusal, Bishnu and Chadha, Rohit and Sistla, A. Prasad and Viswanathan, Mahesh},
  journal = {Proc. ACM Program. Lang.},
  volume = {9},
  number = {OOPSLA1},
  articleno = {105},
  pages = {704--729},
  year = {2025},
  month = apr,
  publisher = {Association for Computing Machinery},
  doi = {10.1145/3720446},
  url = {https://doi.org/10.1145/3720446},
  keywords = {integrals, synthesis, theory of reals, verification, δ-satisfiability}
}