Oishi, Meeko

2 publications

L4DC 2023 Probabilistic Verification of ReLU Neural Networks via Characteristic Functions Joshua Pilipovsky, Vignesh Sivaramakrishnan, Meeko Oishi, Panagiotis Tsiotras

L4DC 2022 Data-Driven Chance Constrained Control Using Kernel Distribution Embeddings Adam Thorpe, Thomas Lew, Meeko Oishi, Marco Pavone