Vignesh Sivaramakrishnan

1. Probabilistic Verification of ReLU Neural Networks via Characteristic Functions
   2022/12/03 by Joshua Pilipovsky, Vignesh Sivaramakrishnan, Pilipovsky, Joshua +5 · 2 citations
   Computer Science · Engineering · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Fault Detection and Control Systems #Machine Learning (cs.LG) #Neural Networks and Applications #Optimization and Control (math.OC) #Systems and Control (eess.SY) #electronic engineering #information engineering
2. Distribution Steering for Discrete-Time Linear Systems with General Disturbances using Characteristic Functions
   2021/10/13 by Vignesh Sivaramakrishnan, Sivaramakrishnan, Vignesh, Joshua Pilipovsky +5 · 1 citation
   Decision Sciences · Engineering · #Advanced Control Systems Optimization #FOS: Mathematics #Optimization and Control (math.OC) #Probabilistic and Robust Engineering Design #Stability and Control of Uncertain Systems