Daniele Ahmed

According to our database, Daniele Ahmed authored at least 8 papers between 2018 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Formal Synthesis of Lyapunov Neural Networks.

Alessandro Abate, Daniele Ahmed, Mirco Giacobbe, Andrea Peruffo

IEEE Control. Syst. Lett., 2021

Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models.

Andrea Peruffo, Daniele Ahmed, Alessandro Abate

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 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

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

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

Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, 2021

2020

Automated Formal Synthesis of Neural Barrier Certificates for Dynamical Models.

Andrea Peruffo, Daniele Ahmed, Alessandro Abate

CoRR, 2020

Automated Formal Synthesis of Lyapunov Neural Networks.

Alessandro Abate, Daniele Ahmed, Mirco Giacobbe, Andrea Peruffo

CoRR, 2020

Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers.

Daniele Ahmed, Andrea Peruffo, Alessandro Abate

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2018

Federated logic conference (FLoC) at Oxford.

Daniele Ahmed, Katherine Fletcher, Julian Gutierrez

ACM SIGLOG News, 2018