Sarthak Tandon

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 1

Top Topics

Fractional Brownian Motion

Formal Verification

Active Learning

Symbolic Execution

Top Venues

Publications

Alexander Schwartz, Sarthak Tandon, Jackson Knappen
Verification of Long-Range MTF Testing Through Intermediary Optics. IQSP (2020)