Automated and Sound Synthesis of Lyapunov Functions with {SMT} Solvers

Title	Automated and Sound Synthesis of Lyapunov Functions with {SMT} Solvers
Publication Type	Conference Paper
Year of Publication	2020
Authors	Ahmed D, Peruffo A, Abate A
Editor	Biere A, Parker D
Conference Name	Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, {TACAS} 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part {I}
Publisher	Springer
URL	https://doi.org/10.1007/978-3-030-45190-5\_6
DOI	10.1007/978-3-030-45190-5\_6