Skip to main navigation Skip to search Skip to main content

FOSSIL: a software tool for the formal synthesis of lyapunov functions and barrier certificates using neural networks

  • Alessandro Abate
  • , Daniele Ahmed
  • , Alec Edwards
  • , M. Giacobbe
  • , Andrea Peruffo

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Fingerprint

Dive into the research topics of 'FOSSIL: a software tool for the formal synthesis of lyapunov functions and barrier certificates using neural networks'. Together they form a unique fingerprint.
Sort by

Keyphrases

Computer Science

Mathematics