Daniele Ahmed

Orcid: 0000-0002-5479-741X

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Formal Synthesis of Lyapunov Neural Networks.
IEEE Control. Syst. Lett., 2021

Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models.
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.
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.
Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, 2021

2020
Automated Formal Synthesis of Neural Barrier Certificates for Dynamical Models.
CoRR, 2020

Automated Formal Synthesis of Lyapunov Neural Networks.
CoRR, 2020

Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2018
Federated logic conference (FLoC) at Oxford.
ACM SIGLOG News, 2018


  Loading...