Meeko Oishi
- Probabilistic Verification of ReLU Neural Networks via Characteristic Functions
2022/12/03 by Joshua Pilipovsky, Pilipovsky, Joshua, Vignesh Sivaramakrishnan +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
- Learning Approximate Forward Reachable Sets Using Separating Kernels
2020/11/19 by Adam J. Thorpe, Kendric R. Ortiz, Thorpe, Adam J. +3 · 1 citation
Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Bayesian Modeling and Causal Inference #FOS: Mathematics #Fault Detection and Control Systems #Optimization and Control (math.OC)
- 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
- SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks
2024/12/04 by Vignesh Sivaramakrishnan, Krishna C. Kalagarla, Sivaramakrishnan, Vignesh +9 · 2 citations
Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG)
- The Impact of Social Value Orientation on Nash Equilibria of Two Player Quadratic Games
2024/11/13 by Dan Calderone, Meeko Oishi, Calderone, Dan +1 · 1 citation
Physics and Astronomy · Social Sciences · #Evolutionary Game Theory and Cooperation #Experimental Behavioral Economics Studies #FOS: Mathematics #Opinion Dynamics and Social Influence #Optimization and Control (math.OC)