Author:Luca Geretti

Publications

Keyphrases

Applied verification, competition, continuous systems2, dynamical systems, formal methods, formal verification2, hybrid systems4, nonlinear dynamics3, nonlinear systems, reachability analysis2, tools2, verification.