|
Author:Daniel FreirePublications |
---|
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 | Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Pieter Collins, Marcelo Forets, Daniel Freire, Fabian Immler, Niklas Kochdumper, David P. Sanders and Christian Schilling |
KeyphrasesARCH-COMP, C2E2, competition, CORA, formal verification, hybrid systems2, Hydra, Hylaa, Hylaa-Continuous, JuliaReach, linear continuous dynamics, nonlinear dynamics, SpaceEx, tools, XSpeed. |
|
|