Author:Yangge Li

Publications

Keyphrases

ARCH-COMP2, C2E2, continuous systems, CORA2, formal methods, hybrid systems3, Hydra, Hylaa, Hylaa-Continuous, JuliaReach2, linear continuous dynamics2, nonlinear dynamics, reachability analysis, SpaceEx, verification, verse, XSpeed.