Checking δ-Satisfiability of Reals with Integrals

Cody Rivera, Bishnu Bhusal, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
February, 2024
Project
Type
Preprint
Publication
Under Submission
Programming Languages and Formal Methods
Cody Rivera
Cody Rivera
Computer Science Ph.D. Student

Cody Rivera is a Ph.D. student at the University of Illinois Urbana-Champaign, where he is doing research in programming languages and formal methods.