111 citations · 195 across the 22 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
cs.LG2020★ 5 cited
Certifying Incremental Quadratic Constraints for Neural Networks via Convex Optimization
Navid Hashemi, Justin Ruths, Mahyar Fazlyab
Abstracting neural networks with constraints they impose on their inputs and outputs can be very useful in the analysis of neural network classifiers and to derive optimization-bas…
eess.SY2020★ 12 cited
Higher-Order Moment-Based Anomaly Detection
Venkatraman Renganathan, Navid Hashemi, Justin Ruths +1
The identification of anomalies is a critical component of operating complex, and possibly large-scale and geo-graphically distributed cyber-physical systems. While designing anoma…
eess.SY2020★ 3 cited
Generalized Outer Bounds on the Finite Geometric Sum of Ellipsoids
Navid Hashemi, Justin Ruths
General results on convex bodies are reviewed and used to derive an exact closed-form parametric formula for the boundary of the geometric (Minkowski) sum of ellipsoids in -…