Pilipovsky, Joshua

2 publications

L4DC 2024 Data-Driven Robust Covariance Control for Uncertain Linear Systems Joshua Pilipovsky, Panagiotis Tsiotras

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