activity
20202026
most citedProbabilistic Verification of ReLU Neural Networks via Characteristic Functions

1 citations · 2 across the 9 of their papers we have counts for

collaborators
Showing 2021Show all

1 paper · 1 filter

math.OC2021

Distribution Steering for Discrete-Time Linear Systems with General Disturbances using Characteristic Functions

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

We propose to solve a constrained distribution steering problem, i.e., steering a stochastic linear system from an initial distribution to some final, desired distribution subject…