Author:Rajarshi Ray

Publications

Keyphrases

ARCH-COMP2, Bounded Model Checking, C2E2, CORA, Hybrid System Model Checker, hybrid systems, Hybrid Systems with Piecewise Constant Dynamics, Hydra, Hylaa, Hylaa-Continuous, JuliaReach, linear continuous dynamics, PCDB Category, SpaceEx, XSpeed.