Federated logic conference (FLoC) at Oxford. - Daniele Ahmed; Katherine Fletcher; Julian Gutierrez 001 (ACM SIGLOG News, 2018)

Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers. - Daniele Ahmed; Andrea Peruffo; Alessandro Abate (TACAS (1), 2020)

Automated Formal Synthesis of Lyapunov Neural Networks. - Alessandro Abate; Daniele Ahmed; Mirco Giacobbe; Andrea Peruffo (CoRR, 2020)

Automated Formal Synthesis of Neural Barrier Certificates for Dynamical Models. - Andrea Peruffo; Daniele Ahmed; Alessandro Abate (CoRR, 2020)

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)

Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models. - Andrea Peruffo; Daniele Ahmed; Alessandro Abate (TACAS (1), 2021)

Formal Synthesis of Lyapunov Neural Networks. - Alessandro Abate; Daniele Ahmed; Mirco Giacobbe; Andrea Peruffo (IEEE Control. Syst. Lett., 2021)