Author:Rajarshi RayPublications |
---|
| 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, Bounded Model Checking, C2E2, CORA, Hybrid System Model Checker, hybrid systems, Hybrid Systems with Piecewise Constant Dynamics, Hydra, Hylaa, Hylaa-Continuous, JuliaReach, linear continuous dynamics, PCDB Category, SpaceEx, XSpeed. |
|