149 citations · 206 across the 29 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.AI2018
Formal Verification of Neural Network Controlled Autonomous Systems
Xiaowu Sun, Haitham Khedr, Yasser Shoukry
In this paper, we consider the problem of formally verifying the safety of an autonomous robot equipped with a Neural Network (NN) controller that processes LiDAR images to produce…
math.OC2018
Cloud-based Quadratic Optimization with Partially Homomorphic Encryption
Andreea B. Alexandru, Konstantinos Gatsis, Yasser Shoukry +3
The development of large-scale distributed control systems has led to the outsourcing of costly computations to cloud-computing platforms, as well as to concerns about privacy of t…