Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers.

Daniele Ahmed, Andrea Peruffo, Alessandro Abate

Browse the full TACAS paper archive.