Title | Formal Synthesis of Lyapunov Neural Networks |
Publication Type | Journal Article |
Year of Publication | 2021 |
Authors | Abate A., Ahmed D., Giacobbe M., Peruffo A. |
Journal | IEEE Control Systems Letters |
Volume | 5 |
Pagination | 773-778 |
C/O Department of Computer Science
Wolfson Building, Parks Rd, Oxford OX1 3QD
T: +44 (0) 18656 10767