Author:Xin Chen

Publications

Keyphrases

Artificial Pancreas, Flow*2, Flowpipe Construction, hybrid systems, reachability, SpaceEx, Taylor model, tools, verification.