Author:Sayan Mitra

Publications

Keyphrases

ARCH-COMP, Automotive2, benchmark, C2E22, control, CORA, Discrepancy Functions, hybrid systems3, Hydra, Hylaa, Hylaa-Continuous, Industrial, JuliaReach, linear continuous dynamics, passive safety, Powertrain control, safety2, safety verification, simulation, Simulink2, space rendezvous, SpaceEx, Stateflow2, tools, verification2, XSpeed.