publication venue for
- Lyapunov-Based Iterative Learning of Regions of Attraction for Autonomous Systems 2026
- 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