Author:Julien Alexandre Dit Sandretto

Publications

Keyphrases

Applied verification, competition, continuous systems3, dynamical systems, formal methods2, formal verification2, hybrid systems5, nonlinear dynamics4, nonlinear systems, reachability analysis3, tools2, verification2.