Is this you? As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work.
Claim your profile
Articles by Arvind Easwaran
Computer Science > Software Engineering
We present \tool, a query-efficient framework for black-box probabilistic verification. Given a fixed, sampleable input distribution and a binary property oracle, \tool assesses the property's violation probability $p$ against a threshold $θ$. Under independent sampling and stateless oracle behavior, acceptance asserts $p\leθ$, rejection asserts $p>θ+η$ for a user-specified separation margin, and an inconclusive verdict indicates insufficient evidence for either conclusion.
[2307.13419] Co-Design of Out-of-Distribution Detectors for Autonomous Emergency Braking Systems
arXiv:2307.13419 (cs) Download a PDF of the paper titled Co-Design of Out-of-Distribution Detectors for Autonomous Emergency Braking Systems, by Michael Yuhas and Arvind Easwaran Download PDF Submission history From: Michael Yuhas [ view email] [v1] Tue, 25 Jul 2023 11:38:40 UTC (1,942 KB) Bibliographic Tools Bibliographic Explorer Toggle Bibliographic Explorer () Litmaps Toggle Litmaps (What is Litmaps?) scite.ai Toggle scite Smart Citations (What are Smart Citations?) Code, Data, Media...
Show More
loading
Actions
Is this you?
As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work.Get in touch with Arvind
Contact Arvind, search articles and posts on X, monitor coverage, and track replies from one place.
Learn more about Muck Rack