3 citations · 13 across the 17 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.LG2022
On the Perils of Cascading Robust Classifiers
Ravi Mangal, Zifan Wang, Chi Zhang +3
Ensembling certifiably robust neural networks is a promising approach for improving the \emph{certified robust accuracy} of neural models. Black-box ensembles that assume only quer…
cs.LG2022★ 3 cited
Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components
Radu Calinescu, Calum Imrie, Ravi Mangal +4
We present DeepDECS, a new method for the synthesis of correct-by-construction discrete-event controllers for autonomous systems that use deep neural network (DNN) classifiers for…