related documents An Algorithm for Learning Switched Linear Dynamics from Data Conference Proceeding Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions Conference Proceeding