10 citations · 74 across the 31 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.LG2025
Safety Monitoring for Learning-Enabled Cyber-Physical Systems in Out-of-Distribution Scenarios
Vivian Lin, Ramneet Kaur, Yahan Yang +6
The safety of learning-enabled cyber-physical systems is compromised by the well-known vulnerabilities of deep neural networks to out-of-distribution (OOD) inputs. Existing literat…
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…