Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming

Model-Based Domain Generalization

Safe Pontryagin Differentiable Programming

Linear Systems can be Hard to Learn

Online Federated Learning

Time-Robust Control for STL Specifications