publication venue for Robustness Certificates for Neural Networks Against Data Poisoning and Evasion Attacks 2026 Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems 2023 Restructuring Dynamical Systems for Inductive Verification 2023
