Formal synthesis of Lyapunov neural networks

Alessandro Abate, Daniele Ahmed, Mirco Giacobbe, Andrea Peruffo

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'Formal synthesis of Lyapunov neural networks'. Together they form a unique fingerprint.

Engineering & Materials Science