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 |
C/O Department of Computer Science
Wolfson Building, Parks Rd, Oxford OX1 3QD
T: +44 (0) 18656 10767