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-COMP3, Bounded Model Checking2, C2E2, CORA, hybrid system, Hybrid System Model Checker, hybrid systems, Hybrid Systems with Piecewise Constant Dynamics, Hydra, Hylaa, Hylaa-Continuous, JuliaReach, linear continuous dynamics, model checker, PCDB Category, Piecewise Constant Dynamics, SpaceEx, XSpeed. |
|