2 papers
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.LG2026
Towards Verified and Targeted Explanations through Formal Methods
Hanchen David Wang, Diego Manzanas Lopez, Preston K. Robinette +3
As deep neural networks are deployed in safety-critical domains such as autonomous driving and medical diagnosis, stakeholders need explanations that are interpretable but also tru…