Author:Xin Chen

Publications

Keyphrases

Artificial Pancreas, competition, Flow*2, Flowpipe Construction, formal methods, formal verification, hybrid systems2, Neural Network Control Systems, neural networks, nonlinear dynamics, reachability2, SpaceEx, Taylor model, tools2, verification2.