-A A +A

Formal Synthesis of Lyapunov Neural Networks

TitleFormal Synthesis of Lyapunov Neural Networks
Publication TypeJournal Article
Year of Publication2021
AuthorsAbate A., Ahmed D., Giacobbe M., Peruffo A.
JournalIEEE Control Systems Letters
Volume5
Pagination773-778

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.