A Software Tool for the Formal Synthesis of Lyapunov Functions and Barrier Certificates using Neural Networks. - Alessandro Abate; Daniele Ahmed; Alec Edwards; Mirco Giacobbe; Andrea Peruffo (OVERLAY@GandALF, 2021)

FOSSIL: a software tool for the formal synthesis of lyapunov functions and barrier certificates using neural networks. - Alessandro Abate; Daniele Ahmed; Alec Edwards; Mirco Giacobbe; Andrea Peruffo (HSCC, 2021)

Neural Abstractions. - Alessandro Abate; Alec Edwards; Mirco Giacobbe (NeurIPS, 2022)

Quantitative Verification with Neural Networks. - Alessandro Abate; Alec Edwards; Mirco Giacobbe; Hashan Punchihewa; Diptarko Roy (CONCUR, 2023)

On the Trade-Off Between Efficiency and Precision of Neural Abstraction. - Alec Edwards; Mirco Giacobbe; Alessandro Abate (QEST, 2023)

Quantitative Verification With Neural Networks For Probabilistic Programs and Stochastic Systems. - Alessandro Abate; Alec Edwards; Mirco Giacobbe; Hashan Punchihewa; Diptarko Roy (CoRR, 2023)

A General Verification Framework for Dynamical and Control Models via Certificate Synthesis. - Alec Edwards; Andrea Peruffo; Alessandro Abate (CoRR, 2023)

Stability Analysis of Switched Linear Systems with Neural Lyapunov Functions. - Virginie Debauche; Alec Edwards; Raphaël M. Jungers; Alessandro Abate (AAAI, 2024)

Safe Reach Set Computation via Neural Barrier Certificates. - Alessandro Abate; Sergiy Bogomolov; Alec Edwards; Kostiantyn Potomkin; Sadegh Soudjani; Paolo Zuliani (ADHS, 2024)

Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models. - Alec Edwards; Andrea Peruffo; Alessandro Abate (HSCC, 2024)

Fossil. - Alec Edwards; Andrea Peruffo; Alessandro Abate (Zenodo, 2024)

Formal Synthesis of Lyapunov Stability Certificates for Linear Switched Systems using ReLU Neural Networks. - Virginie Debauche; Alec Edwards; Raphaël M. Jungers; Alessandro Abate (NeuS, 2025)

Fossil 2.0: Design, usage and impact of a software tool for verification and control of dynamical models. - Alec Edwards; Andrea Peruffo; Alessandro Abate (Sci. Comput. Program., 2026)