Daniele Ahmed

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 9

Top Topics

Stability Analysis

Lyapunov Function

Dynamical Model

Top Venues

IEEE Control. Syst. Lett.

ACM SIGLOG News

Publications

Andrea Peruffo, Daniele Ahmed, Alessandro Abate
Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models. TACAS (1) (2021)
Alessandro Abate, Daniele Ahmed, Alec Edwards, Mirco Giacobbe, Andrea Peruffo
A Software Tool for the Formal Synthesis of Lyapunov Functions and Barrier Certificates using Neural Networks. OVERLAY@GandALF (2021)
Alessandro Abate, Daniele Ahmed, Mirco Giacobbe, Andrea Peruffo
Formal Synthesis of Lyapunov Neural Networks. IEEE Control. Syst. Lett. 5 (3) (2021)
Alessandro Abate, Daniele Ahmed, Alec Edwards, Mirco Giacobbe, Andrea Peruffo
FOSSIL: a software tool for the formal synthesis of lyapunov functions and barrier certificates using neural networks. HSCC (2021)
Daniele Ahmed, Andrea Peruffo, Alessandro Abate
Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers. TACAS (1) (2020)
Daniele Ahmed, Andrea Peruffo, Alessandro Abate
Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers. CoRR (2020)
Andrea Peruffo, Daniele Ahmed, Alessandro Abate
Automated Formal Synthesis of Neural Barrier Certificates for Dynamical Models. CoRR (2020)
Alessandro Abate, Daniele Ahmed, Mirco Giacobbe, Andrea Peruffo
Automated Formal Synthesis of Lyapunov Neural Networks. CoRR (2020)
Daniele Ahmed, Katherine Fletcher, Julian Gutierrez
Federated logic conference (FLoC) at Oxford. ACM SIGLOG News 5 (4) (2018)