activity
20192026
most citedFast, Convexified Stochastic Optimal Open-Loop Control For Linear Systems Using Empirical Characteristic Functions

3 citations · 6 across the 8 of their papers we have counts for

collaborators
Showing 2022Show all

1 paper · 1 filter

cs.LG2022★ 1 cited

Probabilistic Verification of ReLU Neural Networks via Characteristic Functions

Joshua Pilipovsky, Vignesh Sivaramakrishnan, Meeko M. K. Oishi +1

Verifying the input-output relationships of a neural network so as to achieve some desired performance specification is a difficult, yet important, problem due to the growing ubiqu…