|
Author:Yangge LiPublications |
---|
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, C2E2, CORA, hybrid systems, Hydra, Hylaa, Hylaa-Continuous, JuliaReach, linear continuous dynamics, SpaceEx, XSpeed. |
|
|