Author:Sayan Mitra

Publications

Keyphrases

ARCH-COMP2, Automotive2, benchmark, C2E22, continuous systems, control, CORA2, Discrepancy Functions, formal methods, hybrid systems5, Hydra, Hylaa, Hylaa-Continuous, Industrial, JuliaReach2, linear continuous dynamics2, nonlinear dynamics, passive safety, Powertrain control, reachability analysis, safety2, safety verification, simulation, Simulink2, space rendezvous, SpaceEx, Stateflow2, tools, verification3, verse, XSpeed.