Author:Rajarshi Ray

Publications

Keyphrases

ARCH-COMP3, Benchmarking, Bounded Model Checking2, C2E2, CORA, Cyber-Physical Systems, evaluation, falsification, Friendly Competition, hybrid system, Hybrid System Model Checker, hybrid systems, Hybrid Systems with Piecewise Constant Dynamics, Hydra, Hylaa, Hylaa-Continuous, JuliaReach, linear continuous dynamics, model checker, PCDB Category, Piecewise Constant Dynamics, SpaceEx, XSpeed.