Skip to main navigation Skip to search Skip to main content

Bounded verification through discrepancy computations

  • Sayan Mitra (Inventor)
  • , Chuchu Fan (Inventor)
  • , Zhenqi Huang (Inventor)

Research output: Patent

Fingerprint

Dive into the research topics of 'Bounded verification through discrepancy computations'. Together they form a unique fingerprint.
Sort by

Keyphrases

Mathematics

Computer Science

Psychology