3 papers
cs.LG2026
Finite-Sample Analysis of Elimination in Active Hypothesis Testing
Ziyuan Lin, Hoang Ngoc Nguyen, Jie Xu +1
A fixed-confidence, finite-sample problem of active hypothesis testing arises in many safety-critical applications. Situated in the context of sequential hypothesis testing, this p…
cs.CR2026
Digital Guardians: The Past and The Future of Cyber-Physical Resilience
Saurabh Bagchi, Hyunseung Kim, Tarek Abdelzaher +20
Resilience in cyber-physical systems (CPS) is the fundamental ability to maintain safety and critical functionality despite adverse "perturbations," which includes security attacks…
cs.FL2025
Conservative Perception Models for Probabilistic Verification
Matthew Cleaveland, Pengyuan Lu, Oleg Sokolsky +2
Verifying the behaviors of autonomous systems with learned perception components is a challenging problem due to the complexity of the perception and the uncertainty of operating e…