|
Author:Julien Alexandre Dit SandrettoPublications |
---|
| Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Uziel Linares, David P. Sanders, Christian Schilling 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 | |
KeyphrasesApplied verification, competition, continuous systems, dynamical systems, formal verification2, hybrid systems3, nonlinear dynamics2, nonlinear systems, reachability analysis, tools2. |
|
|