Author:Sayan MitraPublications |
---|
| Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Marcelo Forets, Elena Ivanova, Yangge Li, Sayan Mitra, Stefan Mitsch, Christian Schilling, Mark Wetzlinger and Daniel Zhuang | 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-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. |
|