Author:Julien Alexandre Dit Sandretto

Publications

Keyphrases

Applied verification, competition, continuous systems, dynamical systems, formal verification2, hybrid systems3, nonlinear dynamics2, nonlinear systems, reachability analysis, tools2.