-A A +A

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

TitleAutomated and Sound Synthesis of Lyapunov Functions with {SMT} Solvers
Publication TypeConference Paper
Year of Publication2020
AuthorsAhmed D, Peruffo A, Abate A
EditorBiere A, Parker D
Conference NameTools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, {TACAS} 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part {I}
PublisherSpringer
URLhttps://doi.org/10.1007/978-3-030-45190-5\_6
DOI10.1007/978-3-030-45190-5\_6

CONTACT US

Oxford Control and Verification (OXCAV) Group

C/O Department of Computer Science

Wolfson Building, Parks Rd, Oxford OX1 3QD

T: +44 (0) 18656 10767

Education - This is a contributing Drupal Theme
Design by WeebPal.