Author:Matthias AlthoffPublications |
---|
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 | | | | | | | | 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 | | | | | | | |
Keyphrasesaffine arithmetic, algorithmic verification, ARCH-COMP, autonomous vehicles, C2E2, competition, CORA4, Flow*, formal verification, hybrid systems4, Hydra, Hylaa, Hylaa-Continuous, interval arithmetic2, INTLAB, JuliaReach, linear continuous dynamics, MATLAB2, motion planning, nonlinear dynamics, reachability2, rigorous function bounds, set-representations, SpaceEx, Taylor models, tool, tools2, traffic simulation, verification, XSpeed. |
|