Author:Alessandro Cimatti

Publications

Keyphrases

Aerospace Design, automated reasoning, computer algebra, formal methods, hybrid systems, Lyapunov functions, satisfiability checking, stability, symbolic computation.