Author:Xin Chen

Publications

Keyphrases

Artificial Pancreas, competition, Flow*2, Flowpipe Construction, formal verification, hybrid systems2, nonlinear dynamics, reachability, SpaceEx, Taylor model, tools2, verification.