297 citations · 545 across the 13 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2021
Self-Checking Deep Neural Networks in Deployment
Yan Xiao, Ivan Beschastnikh, David S. Rosenblum +4
The widespread adoption of Deep Neural Networks (DNNs) in important domains raises questions about the trustworthiness of DNN outputs. Even a highly accurate DNN will make mistakes…
cs.SE2013
Asymptotic Bounds for Quantitative Verification of Perturbed Probabilistic Systems
Guoxin Su, David S. Rosenblum
The majority of existing probabilistic model checking case studies are based on well understood theoretical models and distributions. However, real-life probabilistic systems usual…