1 citations · 2 across the 9 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LG2023
BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming
Steven Adams, Andrea Patane, Morteza Lahijanian +1
In this paper, we introduce BNN-DP, an efficient algorithmic framework for analysis of adversarial robustness of Bayesian Neural Networks (BNNs). Given a compact set of input point…
math.OC2023★ 1 cited
CANE: A Cascade-Control Approach for Network-Assisted Video QoE Management
Mehdi Hosseinzadeh, Karthick Shankar, Maria Apostolaki +4
Prior efforts have shown that network-assisted schemes can improve the Quality-of-Experience (QoE) and QoE fairness when multiple video players compete for bandwidth. However, real…