|
Author:Uziel LinaresPublications |
---|
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 |
KeyphrasesApplied verification, continuous systems, hybrid systems, nonlinear dynamics, reachability analysis. |
|
|