vix.ing · top · new · best · stats · spec

Meeko Oishi

  1. 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
  2. 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)
  3. 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
  4. 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)
  5. 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)