Author:Sayan MitraPublications |
---|
Matthias Althoff, Stanley Bak, Zongnan Bao, Marcelo Forets, Goran Frehse, Daniel Freire, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp and Mark Wetzlinger | | Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling and Stefan Schupp | | | |
KeyphrasesARCH-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. |
|